New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Installers: Simpler version check via subprocess #431
Conversation
v = yicespy.__dict__['__YICES_VERSION'] | ||
m = yicespy.__dict__['__YICES_VERSION_MAJOR'] | ||
p = yicespy.__dict__['__YICES_VERSION_PATCHLEVEL'] | ||
version = "%d.%d.%d" % (v, m, p) |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
It would be nice to have an error if the module is not among the recognized ones
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Done in f0e15a4
pysmt/cmd/installers/base.py
Outdated
@@ -11,6 +11,8 @@ | |||
# WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. | |||
# See the License for the specific language governing permissions and | |||
# limitations under the License. | |||
from __future__ import print_function |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
is this needed?
pysmt/cmd/installers/btor.py
Outdated
"archives", "lingeling-*.tar.gz"))[0] | ||
boolector_archive = glob.glob(os.path.join(self.extract_path, | ||
"archives", "boolector-*.tar.gz"))[0] | ||
SolverInstaller.run("tar xf %s" % lingeling_archive, |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
you did so much that you can now use SolverInstaller.untar
, and SolverInstaller.move
...
e80fbba
to
f0e15a4
Compare
Installers: Simpler version check via subprocess
Separated and simplified from PR #407.
Main changes: