Skip to content
This repository was archived by the owner on Feb 1, 2023. It is now read-only.

Commit ea82e77

Browse files
dimpasedimpase
committed
spin off installation of cryptominisat's Python
This is needed to correctly handle venvs. See #33162 for more details.
1 parent 8ea92d5 commit ea82e77

File tree

11 files changed

+44
-4
lines changed

11 files changed

+44
-4
lines changed

‎build/pkgs/cryptominisat/SPKG.rst‎

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -35,3 +35,4 @@ Special Update/Build Instructions
3535

3636
CryptoMiniSat's tarball downloaded from github is called VERSION.tar.gz
3737
and should be renamed to cryptominisat-VERSION.tar.gz
38+
Its Python module is installed by the pycryptosat spkg.

‎build/pkgs/cryptominisat/spkg-install.in‎

Lines changed: 0 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -3,7 +3,3 @@ cd src
33
sdh_cmake -DUSE_GAUSS='ON' $EXTRA_OPTS
44
sdh_make VERBOSE=ON
55
sdh_make_install VERBOSE=ON
6-
7-
cd pycryptosat
8-
9-
sdh_pip_install .

‎build/pkgs/pycryptosat/SPKG.rst‎

Lines changed: 22 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,22 @@
1+
pycryptosat: Python module of cryptominisat
2+
===========================
3+
4+
Description
5+
-----------
6+
7+
Build and install pycryptosat into appropriate venv.
8+
See cryptominisat for more details.
9+
10+
License
11+
-------
12+
13+
MIT License
14+
15+
16+
Upstream Contact
17+
----------------
18+
19+
- Authors: Mate Soos
20+
- Email: [email protected]
21+
- Website: http://www.msoos.org/
22+
- Releases: https://github.com/msoos/cryptominisat/releases

‎build/pkgs/pycryptosat/checksums.ini‎

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,4 @@
1+
tarball=cryptominisat-VERSION.tar.gz
2+
sha1=db418f5ac124e8d4e1f5284f05bccbe5b61afed9
3+
md5=ca1bf853e568c19968daa5464ab86843
4+
cksum=4204324235

‎build/pkgs/pycryptosat/dependencies‎

Lines changed: 5 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,5 @@
1+
$(PYTHON) m4ri zlib libpng cryptominisat | cmake boost_cropped
2+
3+
----------
4+
All lines of this file are ignored except the first.
5+
It is copied by SAGE_ROOT/build/make/install into SAGE_ROOT/build/make/Makefile.

‎build/pkgs/pycryptosat/distros/conda.txt‎

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1 @@
1+
cryptominisat

‎build/pkgs/pycryptosat/distros/homebrew.txt‎

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1 @@
1+
cryptominisat

‎build/pkgs/pycryptosat/distros/repology.txt‎

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1 @@
1+
cryptominisat

‎build/pkgs/pycryptosat/package-version.txt‎

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1 @@
1+
5.6.8

‎build/pkgs/pycryptosat/spkg-install.in‎

Lines changed: 7 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,7 @@
1+
cd src
2+
3+
sdh_cmake -DUSE_GAUSS='ON' $EXTRA_OPTS
4+
5+
cd pycryptosat
6+
7+
sdh_pip_install .

0 commit comments

Comments
 (0)