source:
vis_dev/vis-2.3/src/ltl/ltl.make
@
101
Last change on this file since 101 was 14, checked in by , 13 years ago | |
---|---|
File size: 154 bytes |
Rev | Line | |
---|---|---|
[14] | 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.