Project

General

Profile

Revision 3b4b7a2e

View differences:

Makefile-lustresf.in
1
lustresf:
2
	@echo Compiling binary lustresf
3
	@make -C src lustresf
4

  
5
json-parser:
6
	@echo Compiling binary json-parser
7
	@make -C src json-parser
Makefile.in
21 21
	@echo Compiling binary lustret
22 22
	@make -C src lustret
23 23

  
24
lustresf:
25
	@echo Compiling binary lustresf
26
	@make -C src lustresf
27

  
28
json-parser:
29
	@echo Compiling binary json-parser
30
	@make -C src json-parser
24
@lustresf@
31 25

  
32 26
configure: configure.ac
33 27
	@echo configure.ac has changed relaunching autoconf
configure.ac
61 61
)
62 62
AC_MSG_RESULT(yes)
63 63

  
64
#Yojson
65
AC_MSG_CHECKING(yojson library)
66
AS_IF([ocamlfind query yojson >/dev/null 2>&1],
67
    [],[AC_MSG_ERROR(yojson required. opam install yojson should solve the issue)],
68
)
69
AC_MSG_RESULT(yes)
70

  
71 64
# logging and command line librairies
72 65
AC_MSG_CHECKING(cmdliner library)
73 66
AS_IF([ocamlfind query cmdliner >/dev/null 2>&1],
......
81 74
)
82 75
AC_MSG_RESULT(yes)
83 76

  
77
#Yojson
78
AC_MSG_CHECKING(yojson library)
79
AS_IF([ocamlfind query yojson >/dev/null 2>&1],
80
    [yojson=yes; AC_MSG_RESULT(yes)],[yojson=no; AC_MSG_WARN(Yojson required for lustresf. opam install yojson should solve the issue)],
81
)
82

  
84 83
# Salsa
85 84
AC_ARG_ENABLE(salsa, [AS_HELP_STRING([--disable-salsa],
86 85
              [disable Salsa plugin. Enabled by default if available.])])
87 86

  
88

  
89 87
AC_MSG_CHECKING(salsa library)
90 88
AS_IF([ocamlfind query salsa >/dev/null 2>&1],
91 89
    [salsa=yes; AC_MSG_RESULT(yes)],[salsa=no; AC_MSG_WARN(no)]
......
110 108
[MPFR not found])
111 109
mpfr=no])
112 110

  
111
# lustresf
112
AC_ARG_ENABLE(lustresf, [AS_HELP_STRING([--disable-lustresf],
113
              [disable lustresf compilation. Enabled by default.])])
114

  
115
AC_SUBST_FILE(lustresf)
116
AC_SUBST_FILE(lustresf_src)
117
lustresf=/dev/null
118
lustresf_src=/dev/null
119

  
120
AS_IF([test "x$enable_lustresf" != "xno" -a "x$yojson" = "xyes"], [
121
  lustresf=Makefile-lustresf.in
122
  lustresf_src=src/Makefile-lustresf.in
123
])
113 124

  
114 125
# Checking availability of path to regression tests
115 126
tests_path="../lustrec-tests/regression_tests"
......
181 192
  else
182 193
      AC_MSG_NOTICE([Salsa plugin disabled])
183 194
  fi
195

  
196
  if (test "x$yojson" = xyes -a "x$enable_lustresf" != "xno"); then
197
      AC_MSG_NOTICE([lustresf available])
198
  else
199
      if (test "x$enable_lustresf" = "xno"); then
200
        AC_MSG_NOTICE([lustresf not available (you explicitely disabled it)])
201
      else
202
        AC_MSG_NOTICE([lustresf not available])
203
      fi
204
  fi
205

  
184 206
AC_MSG_NOTICE(****** Regression Tests  ******)
185 207
if (test "x$valid_test_path" = xfalse); then
186 208
  AC_MSG_NOTICE(no valid tests path provided ($tests_path))
src/Makefile-lustresf.in
1
lustresf:
2
	@echo Compiling binary lustresf
3
	@$(OCAMLBUILD) tools/stateflow/sf_sem.native
4
	@mkdir -p $(LOCAL_BINDIR)
5
	@mv _build/tools/stateflow/sf_sem.native $(LOCAL_BINDIR)/lustresf
6

  
7
json-parser:
8
	@echo Compiling binary json-parser-ex
9
	@$(OCAMLBUILD) tools/stateflow/json-parser/main_parse_json_file.native
10
	@mkdir -p $(LOCAL_BINDIR)
11
	@mv _build/tools/stateflow/json-parser/main_parse_json_file.native $(LOCAL_BINDIR)/json-parser
12

  
13
tests:	test-simple-var
14

  
15
test-simple-var:
16
	@echo Compiling simple tests for JSON parser -- tests on variables
17
	@$(OCAMLBUILD) tools/stateflow/json-parser/test_json_parser_variables.native
18
	@echo Lauching simple tests for JSON parser -- tests on variables
19
	./_build/tools/stateflow/json-parser/test_json_parser_variables.native
src/Makefile.in
24 24
	@mkdir -p $(LOCAL_BINDIR)
25 25
	@mv _build/main_lustre_testgen.native $(LOCAL_BINDIR)/lustret
26 26

  
27
lustresf:
28
	@echo Compiling binary lustresf
29
	@$(OCAMLBUILD) tools/stateflow/sf_sem.native
30
	@mkdir -p $(LOCAL_BINDIR)
31
	@mv _build/tools/stateflow/sf_sem.native $(LOCAL_BINDIR)/lustresf
32

  
33
json-parser:
34
	@echo Compiling binary json-parser-ex
35
	@$(OCAMLBUILD) tools/stateflow/json-parser/main_parse_json_file.native
36
	@mkdir -p $(LOCAL_BINDIR)
37
	@mv _build/tools/stateflow/json-parser/main_parse_json_file.native $(LOCAL_BINDIR)/json-parser
38

  
39
tests:	test-simple-var
40

  
41
test-simple-var:
42
	@echo Compiling simple tests for JSON parser -- tests on variables
43
	@$(OCAMLBUILD) tools/stateflow/json-parser/test_json_parser_variables.native
44
	@echo Lauching simple tests for JSON parser -- tests on variables
45
	./_build/tools/stateflow/json-parser/test_json_parser_variables.native
27
@lustresf_src@
46 28

  
47 29
doc:
48 30
	@echo Generating doc

Also available in: Unified diff