Merge pull request #762 from deepeshchugh/master

Adding more context to build and install in readmes
msoos · Jul 10, 2024 · 4d88939 · 4d88939
2 parents ffcf4e0 + 7c86d00
commit 4d88939
Show file tree

Hide file tree

Showing 2 changed files with 7 additions and 2 deletions.
diff --git a/README.markdown b/README.markdown
@@ -24,8 +24,9 @@ Everything that is needed to build by default is MIT licensed. If you specifical
 
 Compiling in Linux
 -----
+First download the tarball you want to use from the releases section.
 
-To build and install, issue:
+Then, To build and install, issue:
 
 ```
 sudo apt-get install build-essential cmake

diff --git a/python/README.md b/python/README.md
@@ -11,7 +11,11 @@ pip install pycryptosat
 ```
 
 ## Compiling
-If you don't want to use the pip package, you can compile it as:
+If you don't want to use the pip package, you can compile it locally.
+
+You must first build and install CryptoMiniSat using the instructions in the root README.
+
+Then you can compile the python package from the root directory (the one with setup.py) as:
 
 ```
 apt-get install python-dev