From fa67e3c19e27c011517b91182eb3929412aaf402 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Tue, 1 Jul 2008 20:01:00 -0700 Subject: Version abc80701_2 --- Makefile | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'Makefile') diff --git a/Makefile b/Makefile index bc17f5a4..78829354 100644 --- a/Makefile +++ b/Makefile @@ -20,7 +20,7 @@ MODULES := src/base/abc src/base/abci src/base/cmd \ src/aig/mem src/aig/dar src/aig/fra src/aig/cnf \ src/aig/csw src/aig/ioa src/aig/aig src/aig/kit \ src/aig/bdc src/aig/bar src/aig/ntl src/aig/nwk src/aig/mfx \ - src/aig/tim src/aig/saig src/aig/bbr + src/aig/tim src/aig/saig src/aig/bbr src/misc/bzlib default: $(PROG) @@ -32,7 +32,7 @@ OPTFLAGS := -g -O -DLIN64 CFLAGS += -Wall -Wno-unused-function $(OPTFLAGS) $(patsubst %, -I%, $(MODULES)) CXXFLAGS += $(CFLAGS) -LIBS := -ldl -rdynamic -lreadline -ltermcap -lbz2 +LIBS := -ldl -rdynamic -lreadline -ltermcap SRC := GARBAGE := core core.* *.stackdump ./tags $(PROG) -- cgit v1.2.3