From Documentation
Jump to: navigation, search
(Match title layout to contents)
(Clean up wording a bit)
Line 24: Line 24:
 
==Obtaining the Nix expressions==
 
==Obtaining the Nix expressions==
  
If you don't yet have the ''~/nix-nixpkgs-sharcnet'' directory you can download it from [https://git.sharcnet.ca/tyson/nix-nixpkgs-sharcnet/tree/master git server] by running (use your SHARCNET credentials)
+
If you don't yet have the ''~/nix-nixpkgs-sharcnet'' directory you can download it from our [https://git.sharcnet.ca/tyson/nix-nixpkgs-sharcnet/tree/master gitlab server] (use your SHARCNET credentials)
  
 
  cd ~
 
  cd ~
 
  git clone https://git.sharcnet.ca/tyson/nix-nixpkgs-sharcnet.git
 
  git clone https://git.sharcnet.ca/tyson/nix-nixpkgs-sharcnet.git
  
If you already have a copy of ''~/nix-nixpkgs-sharcnet'' you can update it to the latest version by running
+
If you already have a copy of ''~/nix-nixpkgs-sharcnet'' you can update it to the latest version
  
 
  cd ~/nix-nixpkgs-sharcnet
 
  cd ~/nix-nixpkgs-sharcnet

Revision as of 12:28, 18 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

The following is instructions for adding cryptoministat to your Nix environment. They assume you have loaded the Nix module

module load nix

See the Nix page for full details on managing your Nix environment.

Obtaining the Nix expressions

If you don't yet have the ~/nix-nixpkgs-sharcnet directory you can download it from our gitlab server (use your SHARCNET credentials)

cd ~
git clone https://git.sharcnet.ca/tyson/nix-nixpkgs-sharcnet.git

If you already have a copy of ~/nix-nixpkgs-sharcnet you can update it to the latest version

cd ~/nix-nixpkgs-sharcnet
git pull

In either case you need to link the cryptominisat.nix file from it into your ~/.nix-defexpr directory so you can use it

ln -sT ../nix-nixpkgs-sharcnet/cryptominisat.nix ~/.nix-defexpr/cryptominisat.nix

Installing, updating, removing, and reverting

Once you have the cryptominisat.nix file linked into your ~/.nix-defexpr directory, you can install/update it by running

nix-env --install --attr cryptominisat

You can remove it by running

nix-env --uninstall cryptominisat

You can also undo the last install/update/remove command by running

nix-env --rollback