git.annexia.org
/
goals.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Fix ‘goal’ when it appears as a target (meaning ‘goal()’).
[goals.git]
/
configure.ac
diff --git
a/configure.ac
b/configure.ac
index
d521660
..
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])
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
AC_CONFIG_FILES([Goalfile Makefile
- src/Goalfile src/Makefile])
+ src/Goalfile src/Makefile
+ src/config.ml])
AC_OUTPUT
AC_OUTPUT