Makefile.am: Fix check-local (no longer computes volume by default)

passagemath · May 17, 2021 · e7ec3f2 · e7ec3f2
1 parent c0ac29e
commit e7ec3f2
Showing 1 changed file with 9 additions and 5 deletions.
diff --git a/Makefile.am b/Makefile.am
@@ -203,15 +203,19 @@ EXTRA_DIST =					\
 
 # From Sage package:
 check-local:
-	${builddir}/lrs ${srcdir}/ext/test/cut16_11.ext > testout1
+	cat ${srcdir}/ext/test/cut16_11.ext > testin
+	echo "volume" >> testin
+	${builddir}/lrs testin > testout1
 	echo `grep -G Volume testout1` > testout1
-	echo "*Volume= 32768/14175" > testout2
+	echo "*Volume=32768/14175" > testout2
 	diff testout1 testout2
-	${builddir}/lrs ${srcdir}/ine/test/cyclic17_8.ine > testout1
+	cat ${srcdir}/ine/test/cyclic17_8.ine > testin
+	${builddir}/lrs testin > testout1
 	echo `grep -G Totals testout1` > testout1
 	echo "*Totals: vertices=935 rays=0 bases=935 integer_vertices=0" > testout2
 	diff testout1 testout2
-	rm testout1
-	rm testout2
+	rm -f testin
+	rm -f testout1
+	rm -f testout2
 
 CLEANFILES = testout1 testout2