Project

General

Profile

Revision dbe19cd9

View differences:

Makefile.in
8 8
LUSI_MPFR_LIB=include/mpfr_lustre.lusi
9 9
LOCAL_BINDIR=bin
10 10
LOCAL_DOCDIR=doc/manual
11
BIN_TARGETS = lustrec lustret 
12
#lustrev lustresf_target
11
BIN_TARGETS = lustrec  
12
#lustret lustrev lustresf_target
13 13

  
14 14
DEFAULT_TEST_TARGET=COMPIL_LUS\|MAKE\|BIN\|DIFF
15 15
DEFAULT_EXCLUDE_TEST=LUSTRET
configure.ac
91 91
AS_IF([ocamlfind query tiny >/dev/null 2>&1],
92 92
    [tiny=yes; AC_MSG_RESULT(yes)],[tiny=no; AC_MSG_RESULT(no)],
93 93
)
94
AS_IF([test "x$tiny" = "xyes"], [
95
 dnl   AC_SUBST(LUSTREV_TINY_TAG, "<**/*>: package(apron.boxMPQ), package(apron.octMPQ), package(apron.polkaMPQ), package(tiny)")
96
])
94
#AS_IF([test "x$tiny" = "xyes"], [
95
# dnl   AC_SUBST(LUSTREV_TINY_TAG, "<**/*>: package(apron.boxMPQ), package(apron.octMPQ), package(apron.polkaMPQ), package(tiny)")
96
#])
97 97

  
98 98
# z3 (optional)
99 99

  

Also available in: Unified diff