-
Notifications
You must be signed in to change notification settings - Fork 0
Expand file tree
/
Copy pathMakefile
More file actions
57 lines (46 loc) · 1.7 KB
/
Copy pathMakefile
File metadata and controls
57 lines (46 loc) · 1.7 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
53
54
55
56
57
# # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # #
# Signifies our desired python version
# Makefile macros (or variables) are defined a little bit differently than traditional bash, keep
# in mind that in the Makefile there's top-level Makefile-only syntax, and everything else is bash
# script syntax.
PYTHON = python
PIP = ${PYTHON} -m pip
# # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # #
.DEFAULT_GOAL = help
# The @ makes sure that the command itself isn't echoed in the terminal
help:
@echo "+-------------------------------------------------+"
@echo "| OS | Hardware | Setup Command |"
@echo "+-------------------------------------------------+"
@echo "| // | CPU | 'make setup.CPU' |"
@echo "| // | Apple M1 | 'make setup.M1' |"
@echo "+-------------------------------------------------+"
# # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # #
setup.CPU:
pip install -r tools/requirements/CPU.txt
setup.M1:
pip install -r tools/requirements/M1.txt
CP.run.all:
sh scripts/CP.sh
SAT.run.all:
sh scripts/SAT.sh
SMT.run.all:
sh scripts/SMT.sh
ILP.run.all:
sh scripts/ILP.sh
test:
python -m pytest -rP tests
clean:
rm -rf __pycache__
# # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # #
# .PHONY defines parts of the makefile that are not dependant on any specific file
# This is most often used to store functions
.PHONY: help
.PHONY: setup.CPU
.PHONY: setup.M1
.PHONY: CP.run.all
.PHONY: SAT.run.all
.PHONY: SMT.run.all
.PHONY: ILP.run.all
.PHONY: test
.PHONY: clean