Skip to content

Commit

Permalink
[examples] expose NAME and DEST via environment vars (fix typo)
Browse files Browse the repository at this point in the history
  • Loading branch information
PhilippvK committed Mar 29, 2024
1 parent bd2afb2 commit 3b21c41
Show file tree
Hide file tree
Showing 4 changed files with 4 additions and 4 deletions.
2 changes: 1 addition & 1 deletion examples/corev_demo.py
Original file line number Diff line number Diff line change
Expand Up @@ -36,7 +36,7 @@
INTERACTIVE = bool(int(os.environ.get("INTERACTIVE", 0)))
PREPATCHED = bool(int(os.environ.get("PREPATCHED", 0)))
BUILD_CONFIG = os.environ.get("BUILD_CONFIG", "release")
DEST = os.environ.get("BUILD_CONFIG", "/tmp/seal5_llvm_corev")
DEST = os.environ.get("DEST", "/tmp/seal5_llvm_corev")
NAME = os.environ.get("NAME", "corev")

seal5_flow = Seal5Flow(DEST, NAME)
Expand Down
2 changes: 1 addition & 1 deletion examples/demo.py
Original file line number Diff line number Diff line change
Expand Up @@ -37,7 +37,7 @@
INTERACTIVE = bool(int(os.environ.get("INTERACTIVE", 0)))
PREPATCHED = bool(int(os.environ.get("PREPATCHED", 0)))
BUILD_CONFIG = os.environ.get("BUILD_CONFIG", "release")
DEST = os.environ.get("BUILD_CONFIG", "/tmp/seal5_llvm_demo")
DEST = os.environ.get("DEST", "/tmp/seal5_llvm_demo")
NAME = os.environ.get("NAME", "demo")

seal5_flow = Seal5Flow(DEST, NAME)
Expand Down
2 changes: 1 addition & 1 deletion examples/gen_demo.py
Original file line number Diff line number Diff line change
Expand Up @@ -37,7 +37,7 @@
INTERACTIVE = bool(int(os.environ.get("INTERACTIVE", 0)))
PREPATCHED = bool(int(os.environ.get("PREPATCHED", 0)))
BUILD_CONFIG = os.environ.get("BUILD_CONFIG", "release")
DEST = os.environ.get("BUILD_CONFIG", "/tmp/seal5_llvm_gen")
DEST = os.environ.get("DEST", "/tmp/seal5_llvm_gen")
NAME = os.environ.get("NAME", "gen")

seal5_flow = Seal5Flow(DEST, NAME)
Expand Down
2 changes: 1 addition & 1 deletion examples/s4e_demo.py
Original file line number Diff line number Diff line change
Expand Up @@ -37,7 +37,7 @@
INTERACTIVE = bool(int(os.environ.get("INTERACTIVE", 0)))
PREPATCHED = bool(int(os.environ.get("PREPATCHED", 0)))
BUILD_CONFIG = os.environ.get("BUILD_CONFIG", "release")
DEST = os.environ.get("BUILD_CONFIG", "/tmp/seal5_llvm_s4e")
DEST = os.environ.get("DEST", "/tmp/seal5_llvm_s4e")
NAME = os.environ.get("NAME", "s4e")

seal5_flow = Seal5Flow(DEST, NAME)
Expand Down

0 comments on commit 3b21c41

Please sign in to comment.