Fix ‘goal’ when it appears as a target (meaning ‘goal()’).

[goals.git] / configure.ac

diff --git a/configure.ac b/configure.ac
index a542e70..cef6300 100644 (file)
--- a/configure.ac
+++ b/configure.ac
@@ -52,7 +52,9 @@ AC_CHECK_PROG(MENHIR, [menhir], [menhir], [
 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/Goalfile src/Makefile
+                 src/config.ml])
 
 AC_OUTPUT