aboutsummaryrefslogtreecommitdiff
path: root/configure
diff options
context:
space:
mode:
authordos-reis <gdr@axiomatics.org>2013-06-28 05:02:14 +0000
committerdos-reis <gdr@axiomatics.org>2013-06-28 05:02:14 +0000
commit50ec7502934e4632348f4c3c8e060181f199dfc8 (patch)
treecd60fa76d27d654344f093a326222ff21685701b /configure
parentb52f0164b18f06db386d527be26e3a11deb1ab7d (diff)
downloadopen-axiom-50ec7502934e4632348f4c3c8e060181f199dfc8.tar.gz
Add src/rt for core runtime support.
Diffstat (limited to 'configure')
-rwxr-xr-xconfigure3
1 files changed, 2 insertions, 1 deletions
diff --git a/configure b/configure
index 638b257b..6a62f3a8 100755
--- a/configure
+++ b/configure
@@ -19819,7 +19819,7 @@ esac
## We are ready to instantiate makefiles.
-ac_config_files="$ac_config_files Makefile src/Makefile src/io/Makefile src/syntax/Makefile src/algebra/Makefile"
+ac_config_files="$ac_config_files Makefile src/Makefile src/io/Makefile src/syntax/Makefile src/rt/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"
@@ -20998,6 +20998,7 @@ do
"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/rt/Makefile") CONFIG_FILES="$CONFIG_FILES src/rt/Makefile" ;;
"src/algebra/Makefile") CONFIG_FILES="$CONFIG_FILES src/algebra/Makefile" ;;
"src/lib/Makefile") CONFIG_FILES="$CONFIG_FILES src/lib/Makefile:config/var-def.mk:src/lib/Makefile.in:config/setup-dep.mk" ;;
"src/utils/Makefile") CONFIG_FILES="$CONFIG_FILES src/utils/Makefile:config/var-def.mk:src/utils/Makefile.in:config/setup-dep.mk" ;;