Skip to content

Commit

Permalink
trying official opensmt2
Browse files Browse the repository at this point in the history
  • Loading branch information
Dejan Jovanovic committed Jun 11, 2019
1 parent 969b20b commit afc39c2
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions contrib/install_opensmt2.sh
View file
Original file line number Diff line number Diff line change
Expand Up @@ -3,8 +3,8 @@ set -e

# opensmt2
pushd .
# git clone https://scm.ti-edu.ch/repogit/opensmt2.git
git clone https://github.com/dddejan/opensmt2.git
git clone https://scm.ti-edu.ch/repogit/opensmt2.git
# git clone https://github.com/dddejan/opensmt2.git
cd opensmt2
mkdir build
cd build
Expand Down

0 comments on commit afc39c2

Please sign in to comment.