alarsyo/ltl2ba-nix
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

Add missing includes for config.h.

Browse source
This commit is contained in:
Jeroen Meijer 2018-08-09 10:46:27 +02:00
parent be7fc9aab2
commit d71bf20df3
11 changed files with 11 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

1
alternating.c
View file

@ -27,6 +27,7 @@
/* Send bug-reports and/or questions to Paul Gastin */ /* Send bug-reports and/or questions to Paul Gastin */
/* http://www.lsv.ens-cachan.fr/~gastin */ /* http://www.lsv.ens-cachan.fr/~gastin */
#include "config.h"
#include "ltl2ba.h" #include "ltl2ba.h"
#include "util.h" #include "util.h"
#include <sys/resource.h> #include <sys/resource.h>

1
buchi.c
View file

@ -27,6 +27,7 @@
/* Send bug-reports and/or questions to Paul Gastin */ /* Send bug-reports and/or questions to Paul Gastin */
/* http://www.lsv.ens-cachan.fr/~gastin */ /* http://www.lsv.ens-cachan.fr/~gastin */
#include "config.h"
#include "ltl2ba.h" #include "ltl2ba.h"
#include "util.h" #include "util.h"
#include <sys/resource.h> #include <sys/resource.h>

1
cache.c
View file

@ -30,6 +30,7 @@
/* Some of the code in this file was taken from the Spin software */ /* Some of the code in this file was taken from the Spin software */
/* Written by Gerard J. Holzmann, Bell Laboratories, U.S.A. */ /* Written by Gerard J. Holzmann, Bell Laboratories, U.S.A. */
#include "config.h"
#include "ltl2ba.h" #include "ltl2ba.h"
typedef struct Cache { typedef struct Cache {

1
generalized.c
View file

@ -27,6 +27,7 @@
/* Send bug-reports and/or questions to Paul Gastin */ /* Send bug-reports and/or questions to Paul Gastin */
/* http://www.lsv.ens-cachan.fr/~gastin */ /* http://www.lsv.ens-cachan.fr/~gastin */
#include "config.h"
#include "ltl2ba.h" #include "ltl2ba.h"
#include "util.h" #include "util.h"
#include <sys/time.h> #include <sys/time.h>

1
lex.c
View file

@ -30,6 +30,7 @@
/* Some of the code in this file was taken from the Spin software */ /* Some of the code in this file was taken from the Spin software */
/* Written by Gerard J. Holzmann, Bell Laboratories, U.S.A. */ /* Written by Gerard J. Holzmann, Bell Laboratories, U.S.A. */
#include "config.h"
#include <stdlib.h> #include <stdlib.h>
#include <ctype.h> #include <ctype.h>
#include "ltl2ba.h" #include "ltl2ba.h"

1
mem.c
View file

@ -30,6 +30,7 @@
/* Some of the code in this file was taken from the Spin software */ /* Some of the code in this file was taken from the Spin software */
/* Written by Gerard J. Holzmann, Bell Laboratories, U.S.A. */ /* Written by Gerard J. Holzmann, Bell Laboratories, U.S.A. */
#include "config.h"
#include "ltl2ba.h" #include "ltl2ba.h"
#if 1 #if 1

1
parse.c
View file

@ -30,6 +30,7 @@
/* Some of the code in this file was taken from the Spin software */ /* Some of the code in this file was taken from the Spin software */
/* Written by Gerard J. Holzmann, Bell Laboratories, U.S.A. */ /* Written by Gerard J. Holzmann, Bell Laboratories, U.S.A. */
#include "config.h"
#include "ltl2ba.h" #include "ltl2ba.h"
extern int tl_verbose, tl_simp_log; extern int tl_verbose, tl_simp_log;

1
rewrt.c
View file

@ -30,6 +30,7 @@
/* Some of the code in this file was taken from the Spin software */ /* Some of the code in this file was taken from the Spin software */
/* Written by Gerard J. Holzmann, Bell Laboratories, U.S.A. */ /* Written by Gerard J. Holzmann, Bell Laboratories, U.S.A. */
#include "config.h"
#include "ltl2ba.h" #include "ltl2ba.h"
extern int tl_verbose; extern int tl_verbose;

1
set.c
View file

@ -27,6 +27,7 @@
/* Send bug-reports and/or questions to Paul Gastin */ /* Send bug-reports and/or questions to Paul Gastin */
/* http://www.lsv.ens-cachan.fr/~gastin */ /* http://www.lsv.ens-cachan.fr/~gastin */
#include "config.h"
#include "ltl2ba.h" #include "ltl2ba.h"
extern FILE *tl_out; extern FILE *tl_out;

1
trans.c
View file

@ -30,6 +30,7 @@
/* Some of the code in this file was taken from the Spin software */ /* Some of the code in this file was taken from the Spin software */
/* Written by Gerard J. Holzmann, Bell Laboratories, U.S.A. */ /* Written by Gerard J. Holzmann, Bell Laboratories, U.S.A. */
#include "config.h"
#include "ltl2ba.h" #include "ltl2ba.h"
extern int tl_verbose, tl_terse, tl_errs; extern int tl_verbose, tl_terse, tl_errs;

1
util.c
View file

@ -1,3 +1,4 @@
#include "config.h"
#include "ltl2ba.h" #include "ltl2ba.h"
#include "util.h" #include "util.h"