2021-01-15 22:18:51 +00:00
{ lib , stdenv , fetchzip }:
2020-04-24 23:36:52 +00:00
stdenv . mkDerivation {
pname = " c l p r o v e r " ;
version = " 1 . 0 . 3 " ;
src = fetchzip {
2021-02-05 17:12:51 +00:00
url = " h t t p s : / / 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 " ;
2020-04-24 23:36:52 +00:00
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
'' ;
2021-01-15 22:18:51 +00:00
meta = with lib ; {
2020-04-24 23:36:52 +00:00
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 + + " ;
2021-02-05 17:12:51 +00:00
homepage = " h t t p s : / / 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 + + / " ;
2020-04-24 23:36:52 +00:00
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 " ] ;
} ;
}
