Commit ea2b5007 authored by VIGNET Pierre's avatar VIGNET Pierre

Fix bad commands in README

parent 3197f27b
......@@ -93,9 +93,9 @@ proposed as a Python wrapper by an independant library (pycryptosat).
Here you will find the installation commands of the pycryptosat package:
git clone https://gitlab.irisa.fr/0000B8EG/pycryptosat/tree/5.0.1_cmake_dev
mkdir build
cd build && cmake ../
git clone --branch 5.0.1_cmake_dev git@gitlab.irisa.fr:0000B8EG/pycryptosat.git
cd pycryptosat
mkdir build && cd build && cmake ../
make python_interface_install
......@@ -118,7 +118,6 @@ For the library itself:
* From the current repository
cd library && make install
cd ../command_line && make install
For the command line tool:
......
......@@ -93,9 +93,9 @@ proposed as a Python wrapper by an independant library (pycryptosat).
Here you will find the installation commands of the pycryptosat package:
git clone https://gitlab.irisa.fr/0000B8EG/pycryptosat/tree/5.0.1_cmake_dev
mkdir build
cd build && cmake ../
git clone --branch 5.0.1_cmake_dev git@gitlab.irisa.fr:0000B8EG/pycryptosat.git
cd pycryptosat
mkdir build && cd build && cmake ../
make python_interface_install
......@@ -118,7 +118,6 @@ For the library itself:
* From the current repository
cd library && make install
cd ../command_line && make install
For the command line tool:
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment