Changeset 643b1eb in git for factory/configure.in


Ignore:
Timestamp:
May 10, 2011, 3:30:09 PM (12 years ago)
Author:
Mohamed Barakat <mohamed.barakat@…>
Branches:
(u'spielwiese', '8e0ad00ce244dfd0756200662572aef8402f13d5')
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
File:
1 edited

Legend:

Unmodified
Added
Removed

  • factory/configure.in

    r0654122 r643b1eb  
    389389   
    390390# memory manager
    391 if test "x$with_memman" != xno; then
     391if test "x$with_memman" = xyes; then
    392392  alltargets="$alltargets mem"
    393393  installtargets="$installtargets installmem"
Note: See TracChangeset for help on using the changeset viewer.