-
Notifications
You must be signed in to change notification settings - Fork 3
Expand file tree
/
Copy pathMakefile
More file actions
31 lines (23 loc) · 973 Bytes
/
Copy pathMakefile
File metadata and controls
31 lines (23 loc) · 973 Bytes
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
bin/logen: *.pl gximports/*.pl bta/*.pl annotation/*.pl tools/*.pl
ciaoc -o bin/logen ciao_entry.pl
test:
cd auto-tests; make
logen_mac: *.pl gximports/*.pl bta/*.pl
ciaoc -S -o cli_binaries/MacOSX/logen ciao_entry.pl
logen_linux: *.pl gximports/*.pl bta/*.pl
ciaoc -S -o cli_binaries/Linux/logen ciao_entry.pl
logen_win: *.pl gximports/*.pl bta/*.pl
ciaoc -S -o cli_binaries/Windows/logen ciao_entry.pl
sics_test:
rlwrap sicstus -l ciao_entry.pl --goal "go_cli." -- -vv tests/match.pl "match([a,a,b],L)" --ciao_path /usr/local/bin/
sics_test2:
rlwrap sicstus -l ciao_entry.pl --goal "go_cli." -- -vv tests/match.pl "match([a,a,b],L)" --single_process -v
cclean:
find . -name "*.po" -print -exec rm {} \;
find . -name "*.itf" -print -exec rm {} \;
find . -name "*.ast" -print -exec rm {} \;
clean:
find . -name "*.po" -print -exec rm {} \;
find . -name "*.itf" -print -exec rm {} \;
find . -name "*.ast" -print -exec rm {} \;
-rm bin/logen