source:
vis_dev/vis-2.3/src/ltl/ltl.make
@
100
Last change on this file since 100 was 14, checked in by , 13 years ago | |
---|---|
File size: 154 bytes |
Line | |
---|---|
1 | CSRC += ltl.c ltlSet.c ltlTableau.c ltlAutomaton.c ltlMinimize.c ltlCompose.c ltlUtil.c |
2 | HEADERS += ltl.h ltlInt.h |
3 | |
4 | DEPENDENCYFILES = $(CSRC) |
5 | |
6 | |
7 | |
8 | |
9 | |
10 | |
11 | |
12 | |
13 | |
14 | |
15 | |
16 | |
17 |
Note: See TracBrowser
for help on using the repository browser.