]> matita.cs.unibo.it Git - pkg-cerco/acc.git/blob - configure.ac
Package description and copyright added.
[pkg-cerco/acc.git] / configure.ac
1 #
2 # Autoconf
3 #
4 AC_INIT(configure.ac)
5
6 AC_CHECK_PROGS([OCAMLBUILD],[ocamlbuild])
7 AC_SUBST(OCAMLBUILD)
8
9 AC_ARG_WITH([webapp],
10             [AS_HELP_STRING([--with-webapp],
11               [support the generation of a WEB application using js_of_ocaml])],
12             [],
13             [with_webapp=check])
14
15 echo "let parser_lib = \"`pwd`/lib\"" > myocamlbuild_config.ml
16
17 AS_IF([test "x$with_webapp" != xno],
18       [AC_CHECK_PROGS([JS_OF_OCAML],[js_of_ocaml])
19        AC_SUBST(JS_OF_OCAML)
20        AC_MSG_CHECKING([for oclosure])
21        if sh configure-oclosure.sh; then
22          AC_SUBST(HAVE_OCLOSURE, yes)
23          AC_MSG_RESULT(yes)
24        fi])
25       
26 AC_OUTPUT(Makefile.variables)
27 AC_OUTPUT(Makefile)
28