Changeset 73d350 in git for factory


Ignore:
Timestamp:
Apr 29, 2016, 2:18:46 PM (8 years ago)
Author:
Hans Schoenemann <hannes@…>
Branches:
(u'spielwiese', '17f1d200f27c5bd38f5dfc6e8a0879242279d1d8')
Children:
b93a53cb567360049dc5de6b0ee72c01aa7d1056
Parents:
42234ea8c71c767913e5a3acd75b4206026cfdeb
Message:
opt: factory: define OM_NDEBUG in optimized version
File:
1 edited

Legend:

Unmodified
Added
Removed

  • factory/Makefile.am

    r42234e r73d350  
    55AM_CPPFLAGS = -I${builddir}/include -I${srcdir}/include -I${srcdir} \
    66$(OMALLOC_INCLUDES) $(RESOURCES_INCLUDES) \
    7 $(FLINT_CFLAGS) $(NTL_CFLAGS) $(GMP_CFLAGS)
     7$(FLINT_CFLAGS) $(NTL_CFLAGS) $(GMP_CFLAGS) $(SINGULAR_CFLAGS)
    88
    99lib_LTLIBRARIES = libfactory.la
Note: See TracChangeset for help on using the changeset viewer.