From eb8b2d48beb2a7cb9d3289f2440f9e9aeb37850c Mon Sep 17 00:00:00 2001 From: Ludovic Jacomme Date: Wed, 3 Apr 2002 14:55:08 +0000 Subject: [PATCH] Hi --- alliance/src/log/src/Makefile.am | 30 +++++------------------------- alliance/src/log/src/log.h | 4 ++-- 2 files changed, 7 insertions(+), 27 deletions(-) diff --git a/alliance/src/log/src/Makefile.am b/alliance/src/log/src/Makefile.am index 620bfd62..739b9da8 100644 --- a/alliance/src/log/src/Makefile.am +++ b/alliance/src/log/src/Makefile.am @@ -1,27 +1,7 @@ CFLAGS = @CFLAGS@ \ -DALLIANCE_TOP=\"${ALLIANCE_TOP}\" -lib_LIBRARIES = libBdd.a -include_HEADERS = bdd.h -libBdd_a_SOURCES = \ -bdd.h bddenv.h bddimply.h bddsimpdc.h \ -bddalloc.c bdderror.c bddlog.c bddsubst.c \ -bddalloc.h bdderror.h bddlog.h bddsubst.h \ -bddapply.c bddexist.c bddmark.c bddsupport.c \ -bddapply.h bddexist.h bddmark.h bddsupport.h \ -bddassoc.c bddexplosion.c bddnode.c bddsweep.c \ -bddassoc.h bddexplosion.h bddnode.h bddsweep.h \ -bddblock.c bddflag.c bddoptimize.c bddsystem.c \ -bddblock.h bddflag.h bddoptimize.h bddsystem.h \ -bddcheck.c bddfraction.c bddreduce.c bddtest.c \ -bddcheck.h bddfraction.h bddreduce.h bddtest.h \ -bddcircuit.c bddfree.c bddref.c bddtransfert.c \ -bddcircuit.h bddfree.h bddref.h bddtransfert.h \ -bddcofactor.c bddgarbage.c bddrelprod.c bdduser.c \ -bddcofactor.h bddgarbage.h bddrelprod.h bdduser.h \ -bddcompose.c bddheath.c bddreorder.c bddvar.c \ -bddcompose.h bddheath.h bddreorder.h bddvar.h \ -bddconvert.c bddhnode.c bddresize.c bddvaraux.c \ -bddconvert.h bddhnode.h bddresize.h bddvaraux.h \ -bdddump.c bddhoper.c bddsatisfy.c \ -bdddump.h bddhoper.h bddsatisfy.h \ -bddenv.c bddimply.c bddsimpdc.c +lib_LIBRARIES = libLog.a +include_HEADERS = log.h +libLog_a_SOURCES = \ +log_bdd0.c log.h log_thashbdd.c log_thashloc.c \ +log_bdd1.c log_prefbib.c log_thash.c diff --git a/alliance/src/log/src/log.h b/alliance/src/log/src/log.h index 60c33025..f85c56c7 100644 --- a/alliance/src/log/src/log.h +++ b/alliance/src/log/src/log.h @@ -30,7 +30,7 @@ -/* $Id: log.h,v 1.1 2002/04/03 13:13:25 ludo Exp $ */ +/* $Id: log.h,v 1.2 2002/04/03 14:55:08 ludo Exp $ */ #ifndef LUC_LOG_H #define LUC_LOG_H @@ -45,7 +45,7 @@ #undef CONTRAINT #undef STABLE #undef RESTRICT -#undef CNST 10 +#undef CNST #define OR 0 #define AND 1