diff options
Diffstat (limited to 'config/var-def.mk')
| -rw-r--r-- | config/var-def.mk | 1 |
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 |