From 73e638337fd0ba6949616ca7b88372b65a8f90ef Mon Sep 17 00:00:00 2001
From: Alexandre Guillemot <alexandre.guillemot@inria.fr>
Date: Fri, 16 Feb 2024 11:15:17 +0100
Subject: [PATCH] cleaning
---
README.md | 2 +-
packages/{algpath.sage => algpath.py} | 0
packages/{homotopycontinuation.sage => homotopycontinuation.py} | 0
packages/{macaulay2.sage => macaulay2.py} | 0
packages/{sirocco.sage => sirocco.py} | 0
runtest.py | 2 +-
6 files changed, 2 insertions(+), 2 deletions(-)
rename packages/{algpath.sage => algpath.py} (100%)
rename packages/{homotopycontinuation.sage => homotopycontinuation.py} (100%)
rename packages/{macaulay2.sage => macaulay2.py} (100%)
rename packages/{sirocco.sage => sirocco.py} (100%)
diff --git a/README.md b/README.md
index 6cae327e..d773eccd 100644
--- a/README.md
+++ b/README.md
@@ -107,7 +107,7 @@ usage: python3 runtest.py [-h] [-p] [-t [TIMEOUT]] [-m [MEM]] pkg data
|Argument|Description|
|-|-|
-|`pkg`|The package which is tested. Should be [packages](/packages/)/`<pkg_name>`.sage e.g. [packages/algpath.sage](/packages/algpath.sage)|
+|`pkg`|The package which is tested. Should be [packages](/packages/)/`<pkg_name>`.py e.g. [packages/algpath.py](/packages/algpath.py)|
|`data`|The system which is tested. Shoud be [data](/data/)/`<test_name>`.json e.g. [data/linear_dense-10_all-paths_1.json](/data/linear_dense-10_all-paths_1.json)|
#### Options
diff --git a/packages/algpath.sage b/packages/algpath.py
similarity index 100%
rename from packages/algpath.sage
rename to packages/algpath.py
diff --git a/packages/homotopycontinuation.sage b/packages/homotopycontinuation.py
similarity index 100%
rename from packages/homotopycontinuation.sage
rename to packages/homotopycontinuation.py
diff --git a/packages/macaulay2.sage b/packages/macaulay2.py
similarity index 100%
rename from packages/macaulay2.sage
rename to packages/macaulay2.py
diff --git a/packages/sirocco.sage b/packages/sirocco.py
similarity index 100%
rename from packages/sirocco.sage
rename to packages/sirocco.py
diff --git a/runtest.py b/runtest.py
index c3232246..546bc589 100644
--- a/runtest.py
+++ b/runtest.py
@@ -33,7 +33,7 @@ os.chdir(data_str)
subprocess.run(["mkdir", "-p", pkg_str])
os.chdir(pkg_str)
print("Generating script and command...")
-subprocess.run(["sage", f"../../../{pkg}", f"../../../{data}"])
+subprocess.run(["python3", f"../../../{pkg}", f"../../../{data}"])
subprocess.run(["chmod", "+x", "command.sh"])
info_file = open("info.json", "w")
--
GitLab