source: vis_dev/cusp-1.1/src/smt/smt.make

Last change on this file was 12, checked in by cecile, 13 years ago

cusp added
File size: 513 bytes
Line 
1CSRC += main.c smt.c smtPre.c smtFml.c smtUtil.c smtCnf.c smtSat.c smtDl.c smtGraph.c smtMp.c smtDebug.c
2HEADERS += smt.h
3
4LEXSRC += smt.l
5YACCSRC += smt.y
6GENERATEDCSRC += smtRead.c
7
8$(objectdir)/smtRead.c $(objectdir)/smtread.h: smt.y smt.h smtLex.c
9        $(YACC) -pSmtYy -t -d -o $(objectdir)/smtRead.c $<
10        -@chmod 0664 $(objectdir)/smtRead.c
11
12smtLex.c: smt.l
13        $(LEX) -PSmtYy -o$(objectdir)/smtLex.c $<
14        -@chmod 0664 $(objectdir)/smtLex.c
15
16$(objectdir)/smtRead.o: $(objectdir)/smtRead.c
17
18DEPENDENCYFILES = $(CSRC)
Note: See TracBrowser for help on using the repository browser.