diff options
author | dos-reis <gdr@axiomatics.org> | 2014-11-16 21:53:40 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2014-11-16 21:53:40 +0000 |
commit | 87ce3e64a9cffec5618f43999ea5a17f48165e88 (patch) | |
tree | ff168a5704df4a0b35b3a6ff94038d6df6ba8c68 /configure | |
parent | b2d5c8c2c3bba82b5ce407d33c1ff367bf1819e3 (diff) | |
download | open-axiom-87ce3e64a9cffec5618f43999ea5a17f48165e88.tar.gz |
Remove src/syntax Makefiles; make part of libOpenAxiom
Diffstat (limited to 'configure')
-rwxr-xr-x | configure | 3 |
1 files changed, 1 insertions, 2 deletions
@@ -19539,7 +19539,7 @@ ac_config_links="$ac_config_links $oa_incdir/hash-table:src/utils/hash-table.H $ ## We are ready to instantiate makefiles. -ac_config_files="$ac_config_files Makefile src/Makefile src/syntax/Makefile src/utils/Makefile src/rt/Makefile src/boot/Makefile src/algebra/Makefile" +ac_config_files="$ac_config_files Makefile src/Makefile src/utils/Makefile src/rt/Makefile src/boot/Makefile src/algebra/Makefile" ac_config_files="$ac_config_files src/lib/Makefile:config/var-def.mk:src/lib/Makefile.in:config/setup-dep.mk" @@ -20759,7 +20759,6 @@ do "$oa_incdir/Database") CONFIG_LINKS="$CONFIG_LINKS $oa_incdir/Database:src/include/Database.H" ;; "Makefile") CONFIG_FILES="$CONFIG_FILES Makefile" ;; "src/Makefile") CONFIG_FILES="$CONFIG_FILES src/Makefile" ;; - "src/syntax/Makefile") CONFIG_FILES="$CONFIG_FILES src/syntax/Makefile" ;; "src/utils/Makefile") CONFIG_FILES="$CONFIG_FILES src/utils/Makefile" ;; "src/rt/Makefile") CONFIG_FILES="$CONFIG_FILES src/rt/Makefile" ;; "src/boot/Makefile") CONFIG_FILES="$CONFIG_FILES src/boot/Makefile" ;; |