24 lines
1 KiB
Diff
24 lines
1 KiB
Diff
diff -up ./undertaker/Makefile~ ./undertaker/Makefile
|
|
--- ./undertaker/Makefile~ 2011-08-30 12:11:34.000000000 +0200
|
|
+++ ./undertaker/Makefile 2013-07-28 00:56:25.000000000 +0200
|
|
@@ -13,7 +13,7 @@ CXXFLAGS = $(CFLAGS)
|
|
|
|
LDFLAGS =
|
|
# LDCOV = -coverage
|
|
-LDLIBS = libparser.a ../ziz/libziz.a -lstdc++ -lboost_system -lboost_regex -lboost_filesystem -lpicosat -lboost_wave-mt $(LDCOV)
|
|
+LDLIBS = libparser.a ../ziz/libziz.a -lstdc++ -lboost_system -lboost_regex -lboost_filesystem -lpicosat -lboost_wave $(LDCOV)
|
|
|
|
PARSEROBJ = RsfReader.o KconfigWhitelist.o ConfigurationModel.o \
|
|
ModelContainer.o SatChecker.o BlockDefectAnalyzer.o \
|
|
diff -up ./ziz/Makefile~ ./ziz/Makefile
|
|
--- ./ziz/Makefile~ 2011-08-24 17:05:15.000000000 +0200
|
|
+++ ./ziz/Makefile 2013-07-28 00:56:36.000000000 +0200
|
|
@@ -3,7 +3,7 @@ LDXX=g++
|
|
DEBUG = -g3
|
|
CFLAGS = -Wall -Wextra -O2 $(DEBUG)
|
|
CXXFLAGS = $(CFLAGS)
|
|
-LDLIBS = -lboost_regex -lboost_wave-mt -lboost_system-mt $(LDCOV)
|
|
+LDLIBS = -lboost_regex -lboost_wave -lboost_system $(LDCOV)
|
|
|
|
ZIZOBJ = Ziz.o
|
|
HEADERS = $(wildcard *.h)
|