2019-06-16 20:59:06 +01:00
{ stdenv , fetchzip }:
2019-02-26 12:36:04 +00:00
2019-08-13 22:52:01 +01:00
stdenv . mkDerivation {
2019-08-15 13:41:18 +01:00
pname = " c l p r o v e r " ;
2019-02-26 12:36:04 +00:00
version = " 1 . 0 . 3 " ;
src = fetchzip {
url = " h t t p : / / c g i . c s c . l i v . a c . u k / ~ u l l r i c h / C L P r o v e r + + / C L P r o v e r + + - v 1 . 0 . 3 - 1 8 - 0 4 - 2 0 1 5 . z i p " ;
sha256 = " 1 0 k m l g 4 m 5 7 2 q w f z i 6 h k y b 0 y p b 6 4 3 x w 8 s f b 5 5 x x 7 8 6 6 l y h 3 7 w 1 q 3 s " ;
stripRoot = false ;
} ;
installPhase = ''
mkdir $ out
cp - r bin $ out/bin
mkdir - p $ out/share/clprover
cp - r examples $ out/share/clprover/examples
'' ;
meta = with stdenv . lib ; {
description = " R e s o l u t i o n - b a s e d t h e o r e m p r o v e r f o r C o a l i t i o n L o g i c i m p l e m e n t e d i n C + + " ;
homepage = http://cgi.csc.liv.ac.uk/~ullrich/CLProver++/ ;
license = licenses . gpl3 ; # Note that while the website states that it is GPLv2 but the file in the zip as well as the comments in the source state it is GPLv3
maintainers = with maintainers ; [ mgttlinger ] ;
platforms = [ " x 8 6 _ 6 4 - l i n u x " ] ;
} ;
}
