From 53066d0e5af944e31c1c81b5ace88f8db08410c7 Mon Sep 17 00:00:00 2001 From: Matthias Volk Date: Fri, 9 Dec 2016 13:13:23 +0100 Subject: [PATCH] = missing for custom argument in setup.py --- setup.py | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/setup.py b/setup.py index 84a0332..26b334c 100755 --- a/setup.py +++ b/setup.py @@ -21,7 +21,7 @@ class CMakeExtension(Extension): class CMakeBuild(build_ext): user_options = build_ext.user_options + [ - ('storm-dir', None, 'Path to storm root (binary) location') + ('storm-dir=', None, 'Path to storm root (binary) location') ] def run(self): @@ -40,6 +40,8 @@ class CMakeBuild(build_ext): self.storm_dir = None def finalize_options(self): + if self.storm_dir: + print('The custom storm directory', self.storm_dir) build_ext.finalize_options(self)