aboutsummaryrefslogtreecommitdiff
path: root/configure
diff options
context:
space:
mode:
authordos-reis <gdr@axiomatics.org>2014-11-16 21:41:16 +0000
committerdos-reis <gdr@axiomatics.org>2014-11-16 21:41:16 +0000
commitb2d5c8c2c3bba82b5ce407d33c1ff367bf1819e3 (patch)
treee2e4e2ccbca323a3bf9aafe4c8af008ecd9128b1 /configure
parent1b81e054091da94b4ad24c2ef50094337d6a88bc (diff)
downloadopen-axiom-b2d5c8c2c3bba82b5ce407d33c1ff367bf1819e3.tar.gz
Remove src/io Makefiles; make part of libOpenAxiom
Diffstat (limited to 'configure')
-rwxr-xr-xconfigure3
1 files changed, 1 insertions, 2 deletions
diff --git a/configure b/configure
index c0bfa765..fba78963 100755
--- a/configure
+++ b/configure
@@ -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/io/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/syntax/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/io/Makefile") CONFIG_FILES="$CONFIG_FILES src/io/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" ;;