aboutsummaryrefslogtreecommitdiff
path: root/config
diff options
context:
space:
mode:
Diffstat (limited to 'config')
-rw-r--r--config/var-def.mk1
1 files changed, 0 insertions, 1 deletions
diff --git a/config/var-def.mk b/config/var-def.mk
index 1e6d4272..3fee05b7 100644
--- a/config/var-def.mk
+++ b/config/var-def.mk
@@ -204,7 +204,6 @@ axiom_optional_srcdir = $(abs_top_srcdir)/zips
open_axiom_installdir = @open_axiom_installdir@
INC=$(top_srcdir)/src/include
-CCF=@CCF@
oa_c_runtime_extra = @LIBS@ @oa_c_runtime_extra@ -lm
oa_c_libs = -lopen-axiom-core $(oa_c_runtime_extra) -lm