From Documentation
Jump to: navigation, search
(Use ln to create symlinks as cp requires you to be in destination directory)
(Put more detail in the Nix instructions including how to update)
Line 16: Line 16:
 
=Nix=
 
=Nix=
  
Load the Nix module
+
The following is instructions for adding cryptoministat to your Nix environment.  They assume you have loaded the Nix module
  
 
  module load nix
 
  module load nix
  
Download the latest Nix expression for building cryptominisat (use your SHARCNET credentials) and copy it to your ''~/.nix-defexpr'' directory
+
See the [[NIX|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 [https://git.sharcnet.ca/tyson/nix-nixpkgs-sharcnet/tree/master git server] by running (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
 +
 +
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
 
  ln -sT ../nix-nixpkgs-sharcnet/cryptominisat.nix ~/.nix-defexpr/cryptominisat.nix
  
Tell Nix to install cryptominisat into your Nix environment
+
==Installing, updating, reverting, and removing==
 +
 
 +
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
 
  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
+
You can remove it by running
  
 
  nix-env --uninstall cryptominisat
 
  nix-env --uninstall cryptominisat
  
See the [[NIX|Nix page]] for more details on managing Nix environment.
+
You can also undo the last install/update/remove command by running
 +
 
 +
nix-env --rollback

Revision as of 11:17, 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 git server by running (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 by running

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, reverting, and removing

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