Fix cvc4 and xsv paths

uwplse · Aug 12, 2022 · e4217ed · e4217ed
1 parent 7a04933
commit e4217ed
Showing 1 changed file with 6 additions and 3 deletions.
diff --git a/scripts/cvc4-eval/Makefile b/scripts/cvc4-eval/Makefile
@@ -7,7 +7,10 @@ SHELL=/usr/bin/env bash
 all:
 
 rust-src=$(shell find ../../src/ -type f)
-cvc4=./cvc4-1.8-x86_64-linux-opt \
+
+# check for the hardcoded programs that are in the VM
+xsv=$(shell command -v ./xsv || command -v xsv)
+cvc4=$(shell command -v ./cvc4-1.8-x86_64-linux-opt || command -v cvc4) \
   --sygus-rr-synth              \
   --sygus-rr-synth-check        \
   --no-sygus-sym-break          \
@@ -98,11 +101,11 @@ latex-report: $(diffs)
 
 .PHONY: report
 report: $(diffs)
-	python3 compare.py $^ | ./xsv table
+	python3 compare.py $^ | $(xsv) table
 
 .PHONY: report-no-consts
 report-no-consts: $(diffs-no-consts)
-	python3 compare.py $^ | ./xsv table
+	python3 compare.py $^ | $(xsv) table
 
 .PHONY: latex-report-no-consts
 latex-report-no-consts: $(diffs-no-consts)