Changeset 643b1eb in git for factory

Timestamp:

May 10, 2011, 3:30:09 PM (13 years ago)

Author:

Mohamed Barakat <mohamed.barakat@…>

Branches:

(u'spielwiese', '6e5adcba05493683b94648c659a729c189812c77')

Children:

b58d4735ba8885b68e60e175df833c691cd3c04e

Parents:

06541226e172777614f7a62af88d739f6cea424c

git-author:

Mohamed Barakat <mohamed.barakat@rwth-aachen.de>2011-05-10 15:30:09+02:00

git-committer:

Mohamed Barakat <mohamed.barakat@rwth-aachen.de>2011-11-09 12:31:41+01:00

Message:

include ftmpl_inst.cc in libsingcf.a (template instantiations)

- disabled memutil by default in factory
- include readcf.og in the debug version of factory
- check for ntl in libpolys

Location:

factory

Files:

• GNUmakefile.in (modified) (2 diffs)
• configure.in (modified) (1 diff)

factory/GNUmakefile.in

@@ -200 +200 @@
                 bifac.cc \
                 lgs.cc \
-                singext.cc
+                singext.cc \
+                ftmpl_inst.cc
 
 useiofactorysrc := \
@@ -216 +217 @@
 factoryobj1 :=  $(factorysrc:%.cc=%.o)
 factoryobj :=   $(factoryobj1:%.y=%.o)
-factorygobj :=  $(factorysrc:%.cc=%.og)
+factorygobj1 :=  $(factorysrc:%.cc=%.og)
+factorygobj :=  $(factorygobj1:%.y=%.og)
 factorypobj :=  $(factorysrc:%.cc=%.op)
 factorydep :=   $(factorysrc:%.cc=%.d)

factory/configure.in

@@ -389 +389 @@
     
 # memory manager
-if test "x$with_memman" != xno; then
+if test "x$with_memman" = xyes; then
   alltargets="$alltargets mem"
   installtargets="$installtargets installmem"