-
Notifications
You must be signed in to change notification settings - Fork 5
Expand file tree
/
Copy pathMakefile
More file actions
21 lines (19 loc) · 747 Bytes
/
Makefile
File metadata and controls
21 lines (19 loc) · 747 Bytes
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
all:
##################################################
### kissat_mab ###
##################################################
chmod a+x kissat_mab/configure kissat_mab/scripts/*.sh
cd kissat_mab && ./configure --compact
+ $(MAKE) -C kissat_mab
##################################################
### PaInleSS ###
##################################################
+ $(MAKE) -C painless-src
mv painless-src/painless parkissat
clean:
##################################################
### PaInleSS ###
##################################################
+ $(MAKE) clean -C painless-src
+ $(MAKE) clean -C kissat_mab
rm -f parkissat