-
Notifications
You must be signed in to change notification settings - Fork 5
Expand file tree
/
Copy pathcompile.sh
More file actions
executable file
·21 lines (21 loc) · 833 Bytes
/
compile.sh
File metadata and controls
executable file
·21 lines (21 loc) · 833 Bytes
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
#!/bin/bash
set -e
(cd src_group && make clean && make)
(cd src_poly && make clean && make)
(cd src_poly && make -f Makefile_double_cddlib clean && make -f Makefile_double_cddlib)
(cd src_polydecomp && make clean && make)
(cd src_latt && make clean && make)
(cd src_delaunay && make clean && make)
(cd src_short && make clean && make)
(cd src_dualdesc && make clean && make)
(cd src_sparse_solver && make clean && make)
(cd src_copos && make clean && make)
(cd src_ctype && make clean && make)
(cd src_perfect && make clean && make)
(cd src_isotropy && make clean && make)
(cd src_lorentzian && make clean && make)
(cd src_rankin && make clean && make)
(cd src_poincare_polyhedron && make clean && make)
(cd src_indefinite && make clean && make)
(cd src_robust_covering && make clean && make)
echo "Normal termination of compile.sh"