clean up after solve_cube.sh

bsubercaseaux · Jun 9, 2024 · 867c0af · 867c0af
1 parent c3ed2e5
commit 867c0af
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/cube_checking/solve_cube.sh b/cube_checking/solve_cube.sh
@@ -1,7 +1,10 @@
 #!/usr/bin/env sh
 # Receives the desired cube number as $1
 
+gcc 6hole-cube.c -o cube_gen
 ./cube_gen $1 vars.out > .tmp_cube_$1
 python3 cube_join.py -f 6-30.cnf -c .tmp_cube_$1 -o with_cube_$1.cnf
 cadical with_cube_$1.cnf proof_cube_$1.lrat --lrat
-cake_lpr with_cube_$1.cnf proof_cube_$1.lrat
+cake_lpr with_cube_$1.cnf proof_cube_$1.lrat
+
+rm with_cube_$1.cnf proof_cube_$1.lrat .tmp_cube_$1