X-Git-Url: http://git.annexia.org/?a=blobdiff_plain;f=configure.ac;h=d44209a27bf26a479d11535dd1bc73f216592742;hb=eaa22cca2ae85beff5b6f981e084fc9d9b57f202;hp=a542e701eaa6c0186afffe7a36e2253ac6106c52;hpb=53a2161b3e0ff69420968c0fba82b93800a6b381;p=goals.git

diff --git a/configure.ac b/configure.ac
index a542e70..d44209a 100644
--- a/configure.ac
+++ b/configure.ac
@@ -49,10 +49,15 @@ AC_CHECK_PROG(MENHIR, [menhir], [menhir], [
     AC_MSG_ERROR([OCaml menhir parser generator is required])
 ])
 
+dnl Substitute OCaml flags and packages.
+AC_SUBST([OCAMLFLAGS], ["-g -safe-string -warn-error CDEFLMPSUVYZX+52-3"])
+AC_SUBST([OCAMLPACKAGES], ["-package str,unix"])
+
 dnl Produce output files.
 AC_CONFIG_HEADERS([config.h])
 AC_CONFIG_FILES([stamp-h], [echo timestamp > stamp-h])
+AC_CONFIG_FILES([run], [chmod +x,-w run])
 AC_CONFIG_FILES([Goalfile Makefile
-                 parsing/Goalfile parsing/Makefile])
+                 src/config.ml])
 
 AC_OUTPUT