/
Makefile
47 lines (33 loc) · 933 Bytes
/
Makefile
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
32
33
34
35
36
37
38
39
40
41
42
43
44
45
TESTS = $(wildcard examples/*.cob)
ERRORS = $(wildcard errors/*.cob)
DEST = padovani@pianeta.di.unito.it:public_html/Software/CobaltBlue/
NAME = dist/build/CobaltBlue/CobaltBlue
all:
cabal build
ln -fs $(NAME) CobaltBlue
tutorial:
make -C tutorial
dist:
cabal sdist
sync:
make -C html
scp html/*.* $(DEST)
scp dist/*.tar.gz $(DEST)
scp tutorial/CobaltBlueTutorial.pdf $(DEST)
%.check_ok:
@$(NAME) --log $(@:%.check_ok=%) || echo
check_examples:
@echo "THESE TESTS MUST SUCCEED"
@echo "========================"
@for i in $(TESTS); do make $$i.check_ok; done
%.check:
@$(NAME) --log $(@:%.check=%) || echo
check_errors:
@echo "THESE TESTS MUST FAIL (NOT WITH PARSE ERRORS)"
@echo "============================================="
@for i in $(ERRORS); do make $$i.check; done
check: check_examples check_errors
.PHONY: dist clean check check_examples check_errors
clean:
cabal clean
rm -f CobaltBlue