Module: ppl/ppl Branch: master Commit: 276db1f0bb1f4722da0839ed0c9c845353303c5e URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=276db1f0bb1f4...

Author: Roberto Bagnara bagnara@cs.unipr.it Date: Wed Dec 30 17:35:01 2009 +0100

Document conditionals.

---

src/Makefile.am | 10 +++++----- 1 files changed, 5 insertions(+), 5 deletions(-)

diff --git a/src/Makefile.am b/src/Makefile.am index 7e1650f..5a2a1dc 100644 --- a/src/Makefile.am +++ b/src/Makefile.am @@ -87,7 +87,7 @@ COEFFICIENT_TYPES_INCLUDE_FILES =

COEFFICIENT_DEFS_INCLUDE_FILES =

-endif +endif USE_NATIVE_INTEGERS

if USE_CHECKED_INTEGERS

@@ -95,7 +95,7 @@ COEFFICIENT_TYPES_INCLUDE_FILES =

COEFFICIENT_DEFS_INCLUDE_FILES =

-endif +endif USE_CHECKED_INTEGERS

if USE_GMP_INTEGERS

@@ -106,7 +106,7 @@ COEFFICIENT_DEFS_INCLUDE_FILES = \ GMP_Integer.defs.hh \ GMP_Integer.inlines.hh

-endif +endif USE_GMP_INTEGERS

# The ordering of the following list *matters*! INCLUDE_FILES = \ @@ -526,11 +526,11 @@ ppl.hh.gch: ppl.hh

PRECOMPILED = ppl.hh.gch

-else +else !USE_PRECOMPILED_HEADERS

PRECOMPILED =

-endif +endif !USE_PRECOMPILED_HEADERS

BUILT_SOURCES = \ $(include_HEADERS) \