Project

General

Profile

Revision dbe19cd9 configure.ac

View differences:

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