diff options
Diffstat (limited to 'autoconf')
| -rw-r--r-- | autoconf/configure.ac | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/autoconf/configure.ac b/autoconf/configure.ac index 72eac4b..087f734 100644 --- a/autoconf/configure.ac +++ b/autoconf/configure.ac @@ -905,6 +905,8 @@ AC_CONFIG_MAKEFILE(test/Makefile.tests) AC_CONFIG_MAKEFILE(tools/Makefile) AC_CONFIG_MAKEFILE(utils/Makefile) AC_CONFIG_MAKEFILE(projects/Makefile) +AC_CONFIG_MAKEFILE(bindings/Makefile) +AC_CONFIG_MAKEFILE(bindings/ocaml/Makefile.ocaml) dnl Finally, crank out the output AC_OUTPUT |