This repository was archived by the owner on Feb 14, 2025. It is now read-only.
-
Notifications
You must be signed in to change notification settings - Fork 0
Expand file tree
/
Copy pathMakefile
More file actions
52 lines (41 loc) · 1.35 KB
/
Copy pathMakefile
File metadata and controls
52 lines (41 loc) · 1.35 KB
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
46
47
48
49
50
51
52
ROOT = $(abspath $(CURDIR))/build
MAKEOPTS += ROOT=$(ROOT)
LANGUAGE = og
.PHONY:
all: $(LANGUAGE) .PHONY
$(LANGUAGE): src/$(LANGUAGE) .PHONY
ln -sf src/$(LANGUAGE) .
src/$(LANGUAGE): build-cdk build-rts .PHONY
$(MAKE) -C src $(MAKEOPTS) depend
$(MAKE) -C src $(MAKEOPTS) all
examples: $(LANGUAGE) .PHONY
$(MAKE) -C examples $(MAKEOPTS) all
test: .PHONY $(LANGUAGE) examples
$(MAKE) -C tests $(MAKEOPTS) test
clean-proj: .PHONY
$(MAKE) -C src $(MAKEOPTS) clean
clean: .PHONY
rm -rf build
# rm -rf librts libcdk # commented out in case you want to do things offline
$(MAKE) -C librts $(MAKEOPTS) clean
$(MAKE) -C libcdk $(MAKEOPTS) clean
$(MAKE) -C src $(MAKEOPTS) clean
$(MAKE) -C examples $(MAKEOPTS) clean
$(MAKE) -C tests $(MAKEOPTS) clean
rm -f $(LANGUAGE)
build-rts: librts .PHONY
$(MAKE) -C librts $(MAKEOPTS) all
$(MAKE) -C librts $(MAKEOPTS) install
librts:
wget -O librts.tar.bz2 "https://web.tecnico.ulisboa.pt/~david.matos/w/pt/images/4/4d/Librts5-202002022020.tar.bz2"
tar xf librts.tar.bz2
rm librts.tar.bz2
mv librts5-202002022020 librts
build-cdk: libcdk .PHONY
$(MAKE) -C libcdk $(MAKEOPTS) all
$(MAKE) -C libcdk $(MAKEOPTS) install
libcdk:
wget -O libcdk.tar.bz2 "https://web.tecnico.ulisboa.pt/~david.matos/w/pt/images/1/12/Libcdk15-202004101316.tar.bz2"
tar xf libcdk.tar.bz2
rm libcdk.tar.bz2
mv libcdk15-202004101316 libcdk