From 336841dc88e83c6efa5239223bf2a75234065a53 Mon Sep 17 00:00:00 2001
From: Michele Alberti <michele.alberti@cea.fr>
Date: Fri, 9 Jun 2023 14:03:59 +0200
Subject: [PATCH] [bin] Simplify python script about the dummy output.
---
bin/abcrown.sh | 2 +-
bin/dummyversion.py | 3 +--
bin/nnenum.sh | 2 +-
3 files changed, 3 insertions(+), 4 deletions(-)
diff --git a/bin/abcrown.sh b/bin/abcrown.sh
index 0eb92f1..49e54fa 100755
--- a/bin/abcrown.sh
+++ b/bin/abcrown.sh
@@ -23,7 +23,7 @@
if [ "$1" = "--version" ]; then
SCRIPT_DIR=$( dirname -- "$0"; )
- $SCRIPT_DIR/dummyversion.py "complete_verifier.abcrown" "dummy-version"
+ $SCRIPT_DIR/dummyversion.py "complete_verifier.abcrown"
else
OMP_NUM_THREADS=1 python3 -m complete_verifier.abcrown "$@"
fi
diff --git a/bin/dummyversion.py b/bin/dummyversion.py
index 1ba1dfa..55ff023 100755
--- a/bin/dummyversion.py
+++ b/bin/dummyversion.py
@@ -26,7 +26,6 @@ import importlib
from importlib import import_module
module_name = str(sys.argv[1])
-dummy_version = str(sys.argv[2])
spec = importlib.util.find_spec(module_name)
@@ -42,5 +41,5 @@ try:
except ModuleNotFoundError:
exit(1)
-print(dummy_version)
+print("dummy-version")
exit(0)
diff --git a/bin/nnenum.sh b/bin/nnenum.sh
index bb447de..907dfda 100755
--- a/bin/nnenum.sh
+++ b/bin/nnenum.sh
@@ -23,7 +23,7 @@
if [ "$1" = "--version" ]; then
SCRIPT_DIR=$( dirname -- "$0"; )
- $SCRIPT_DIR/dummyversion.py "nnenum.nnenum" "dummy-version"
+ $SCRIPT_DIR/dummyversion.py "nnenum.nnenum"
else
OMP_NUM_THREADS=1 OPENBLAS_NUM_THREADS=1 python3 -m nnenum.nnenum "$@"
fi
--
GitLab