parent
08a897676b
commit
17e0d73278
@ -1,38 +1,19 @@ |
||||
{ stdenv, fetchurl, ocaml, findlib }: |
||||
{ lib, fetchurl, buildDunePackage }: |
||||
|
||||
stdenv.mkDerivation rec { |
||||
name = "ocaml${ocaml.version}-facile-${version}"; |
||||
|
||||
version = "1.1.3"; |
||||
buildDunePackage rec { |
||||
pname = "facile"; |
||||
version = "1.1.4"; |
||||
|
||||
src = fetchurl { |
||||
url = "http://opti.recherche.enac.fr/facile/distrib/facile-${version}.tar.gz"; |
||||
sha256 = "1v4apqcw4gm36ph5xwf1wxaaza0ggvihvgsdslnf33fa1pdkvdjw"; |
||||
url = "https://github.com/Emmanuel-PLF/facile/releases/download/${version}/facile-${version}.tbz"; |
||||
sha256 = "0jqrwmn6fr2vj2rrbllwxq4cmxykv7zh0y4vnngx29f5084a04jp"; |
||||
}; |
||||
|
||||
dontAddPrefix = 1; |
||||
|
||||
buildInputs = [ ocaml findlib ]; |
||||
|
||||
createFindlibDestdir = true; |
||||
|
||||
installFlags = [ "FACILEDIR=$(OCAMLFIND_DESTDIR)/facile" ]; |
||||
|
||||
postInstall = '' |
||||
cat > $OCAMLFIND_DESTDIR/facile/META <<EOF |
||||
version = "${version}" |
||||
name = "facile" |
||||
description = "A Functional Constraint Library" |
||||
requires = "" |
||||
archive(byte) = "facile.cma" |
||||
archive(native) = "facile.cmxa" |
||||
EOF |
||||
''; |
||||
doCheck = true; |
||||
|
||||
meta = { |
||||
homepage = "http://opti.recherche.enac.fr/facile/"; |
||||
license = stdenv.lib.licenses.lgpl21Plus; |
||||
license = lib.licenses.lgpl21Plus; |
||||
description = "A Functional Constraint Library"; |
||||
platforms = stdenv.lib.platforms.unix; |
||||
}; |
||||
} |
||||
|
Loading…
Reference in new issue