From faa080028e77179055ca9fa6b7519398fd920519 Mon Sep 17 00:00:00 2001
From: Gabriel <gabriel@motacilla.home>
Date: Sun, 10 Oct 2021 08:54:54 +0200
Subject: [PATCH] set pvs path
---
.github/workflows/pvs_prelude.yml | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/.github/workflows/pvs_prelude.yml b/.github/workflows/pvs_prelude.yml
index 8b063ed..2ec033a 100644
--- a/.github/workflows/pvs_prelude.yml
+++ b/.github/workflows/pvs_prelude.yml
@@ -23,4 +23,4 @@ jobs:
run: |
eval $(opam env --switch=~/lambdapi --set-switch)
cd pvs-translation-tools/prelude || exit 1
- bmake
+ bmake PVSPATH=~/PVS # Set in bootstrap.sh
--
GitLab