From Documentation
Jump to: navigation, search
(Binary)
Line 16: Line 16:
 
=Nix=
 
=Nix=
  
Coming soon!
+
Load the Nix module
 +
 
 +
module load nix
 +
 
 +
Download the latest Nix expression for building cryptominisat (use your SHARCNET credentials) and copy it to your ''~/.nix-defexpr'' directory
 +
 
 +
git clone https://git.sharcnet.ca/tyson/nix-nixpkgs-sharcnet
 +
cp -s nix-nixpkgs-sharcnet/cryptominisat.nix ~/.nix-defexpr/
 +
 
 +
Tell Nix to install cryptominisat into your Nix environment
 +
 
 +
nix-env --install --attr cryptominisat
 +
 
 +
The cryptominisat commands will now be available anytime you have the Nix module loaded.  To remove them from your Nix environment do
 +
 
 +
nix-env --uninstall cryptominisat
 +
 
 +
See the [[NIX|Nix page]] for more details on managing Nix environment.

Revision as of 17:30, 17 May 2016

4.5.3

Releases: https://github.com/msoos/cryptominisat/releases

Binary

wget https://github.com/msoos/cryptominisat/releases/download/4.5.3/cryptominisat4-elf-static-64b
chmod u+x cryptominisat4-elf-static-64b

For command line options run: ./cryptominisat4-elf-static-64b --help

Submit to Serial queue:
sqsub -r 1d -o ofile.%J ./cryptominisat4-elf-static-64b inputfilename
Submit to Threaded Queue:
sqsub -r 1d -q threaded -n 4 -o ofile.%J ./cryptominisat4-elf-static-64b -t 4 inputfilename

Nix

Load the Nix module

module load nix

Download the latest Nix expression for building cryptominisat (use your SHARCNET credentials) and copy it to your ~/.nix-defexpr directory

git clone https://git.sharcnet.ca/tyson/nix-nixpkgs-sharcnet
cp -s nix-nixpkgs-sharcnet/cryptominisat.nix ~/.nix-defexpr/

Tell Nix to install cryptominisat into your Nix environment

nix-env --install --attr cryptominisat

The cryptominisat commands will now be available anytime you have the Nix module loaded. To remove them from your Nix environment do

nix-env --uninstall cryptominisat

See the Nix page for more details on managing Nix environment.