Testing: use sail --dir for default SAIL_DIR

rems-project · Feb 6, 2025 · 1e24db9 · 1e24db9
1 parent 54d6aab
commit 1e24db9
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/test/sailtest.py b/test/sailtest.py
@@ -36,7 +36,7 @@ def get_sail_dir():
         return os.environ['SAIL_DIR']
     except KeyError:
         try:
-            p = subprocess.run(["opam", "var", "sail:share"], capture_output=True, text=True)
+            p = subprocess.run([get_sail(), "--dir"], capture_output=True, text=True)
         except Exception as e:
             print('{}Unable to get Sail library directory from opam{}'.format(color.FAIL, color.END))
             print(e)
@@ -45,7 +45,7 @@ def get_sail_dir():
         if p.returncode == 0:
             return p.stdout.strip()
         else:
-            print('{}Unable to get Sail library directory from opam{}'.format(color.FAIL, color.END))
+            print('{}Unable to get Sail library directory from sail --dir{}'.format(color.FAIL, color.END))
             print('{}stdout{}:'.format(color.NOTICE, color.END))
             print(p.stdout)
             print('{}stderr{}:'.format(color.NOTICE, color.END))