Mercurial > hg > CbC > old > DPP

comparison Makefile @ 1:2874954d97b2

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Fix dpp for cbc using LLVM 3.7
author Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
date Wed, 16 Dec 2015 16:52:16 +0900
parents d4bc23cb728b
children b15128ab0324
comparison
equal deleted inserted replaced
0:d4bc23cb728b 1:2874954d97b2
1 CC=gcc 1 CC=clang
2 MCC=mcc 2 MCC=cbc-clang
3 TARGET=dpp dpp2 tableau tableau2 tableau3 3 TARGET=dpp dpp2 tableau tableau2 tableau3
4 MCCFLAGS=-s 4 MCCFLAGS=-S
5 CFLAGS=-I. -g -Wall 5 CFLAGS=-I. -g -Wall
6 6
7 .SUFFIXES: .cbc .c .o 7 .SUFFIXES: .cbc .c .o
8 8
9 .cbc.o: 9 .cbc.o:
18 18
19 # multiple running 19 # multiple running
20 dpp2: dpp2.o queue.o scheduler.o memory.o crc32.o 20 dpp2: dpp2.o queue.o scheduler.o memory.o crc32.o
21 $(CC) $(CFLAGS) -o $@ $^ 21 $(CC) $(CFLAGS) -o $@ $^
22 22
23 # tableau expansion 23 # tableau expansion
24 tableau: dpp2.o queue.o tableau.o memory.o state_db.o crc32.o 24 tableau: dpp2.o queue.o tableau.o memory.o state_db.o crc32.o
25 $(CC) $(CFLAGS) -o $@ $^ 25 $(CC) $(CFLAGS) -o $@ $^
26 26
27 # tableau expansion with LTL 27 # tableau expansion with LTL
28 tableau2: dpp2.o queue.o ltl.o tableau2.o memory.o state_db.o crc32.o 28 tableau2: dpp2.o queue.o ltl.o tableau2.o memory.o state_db.o crc32.o