Permalink
Browse files

Cvc4: fix antlr install url in installer (#545)

  • Loading branch information...
mikand authored and marcogario committed Dec 4, 2018
1 parent 7a88976 commit 8387853a0a3e5794ec05475fa1cbadd807501ce3
Showing with 3 additions and 0 deletions.
  1. +3 −0 pysmt/cmd/installers/cvc4.py
@@ -46,6 +46,9 @@ def compile(self):
# Prepare the building system
SolverInstaller.run("bash autogen.sh", directory=self.extract_path)
# Fix url of ANTLR
SolverInstaller.run("sed -i s/http/https/g ./contrib/get-antlr-3.4", directory=self.extract_path)
# Build ANTLR
SolverInstaller.run("bash get-antlr-3.4",
directory=os.path.join(self.extract_path, "contrib"))

0 comments on commit 8387853

Please sign in to comment.