Project

General

Profile

« Previous | Next » 

Revision dbe19cd9

Added by Khanh Trinh almost 2 years ago

  • ID dbe19cd95f3d89db5ead7896075331b29599b1e1
  • Parent b2ffde68

disable lustret and tiny error

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