Adapt to coq/coq#19530

ejgallego · Sep 19, 2024 · 2849ebc · 2849ebc
1 parent b5f572f
commit 2849ebc
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/test/serlib/genarg/test_roundtrip.in b/test/serlib/genarg/test_roundtrip.in
@@ -3,9 +3,10 @@
 set -e
 
 FCC=../../../compiler/fcc.exe
+COQLIB=$(coqc -config | grep COQLIB | sed -e 's/COQLIB=//')
 FILE_IN="$1"
 FILE_OUT="${FILE_IN%.v}.sexp"
 
-$FCC --display=quiet "$FILE_IN"
+$FCC --coqlib="${COQLIB}" --display=quiet "$FILE_IN"
 # $SERCOMP --input=vernac --mode=sexp --exn_on_opaque "$FILE_IN" > "$FILE_OUT"
 # $SERCOMP --input=sexp --mode=check "$FILE_OUT"