parent
f9a4e6b1e2
commit
439eeda150
@ -1,35 +1,27 @@ |
||||
{ stdenv, lib, fetchFromGitHub, autoreconfHook, ocaml, findlib, menhir }: |
||||
{ lib, fetchFromGitHub, buildDunePackage, menhir }: |
||||
|
||||
if !lib.versionAtLeast ocaml.version "4.03" |
||||
then throw "psmt2-frontend is not available for OCaml ${ocaml.version}" |
||||
else |
||||
|
||||
stdenv.mkDerivation rec { |
||||
version = "0.2"; |
||||
name = "ocaml${ocaml.version}-psmt2-frontend-${version}"; |
||||
buildDunePackage rec { |
||||
version = "0.3.1"; |
||||
pname = "psmt2-frontend"; |
||||
|
||||
src = fetchFromGitHub { |
||||
owner = "Coquera"; |
||||
repo = "psmt2-frontend"; |
||||
owner = "ACoquereau"; |
||||
repo = pname; |
||||
rev = version; |
||||
sha256 = "097zmbrx4gp2gnrxdmsm9lkkp5450gwi0blpxqy3833m6k5brx3n"; |
||||
sha256 = "038jrfsq09nhnzpjiishg4adk09w3aw1bpczgbj66lqqilkd6gci"; |
||||
}; |
||||
|
||||
prefixKey = "-prefix "; |
||||
|
||||
nativeBuildInputs = [ autoreconfHook ]; |
||||
buildInputs = [ ocaml findlib menhir ]; |
||||
useDune2 = true; |
||||
|
||||
createFindlibDestdir = true; |
||||
minimumOCamlVersion = "4.03"; |
||||
|
||||
installFlags = [ "LIBDIR=$(OCAMLFIND_DESTDIR)" ]; |
||||
buildInputs = [ menhir ]; |
||||
|
||||
meta = { |
||||
description = "A simple parser and type-checker for polomorphic extension of the SMT-LIB 2 language"; |
||||
license = lib.licenses.asl20; |
||||
maintainers = [ lib.maintainers.vbgl ]; |
||||
inherit (src.meta) homepage; |
||||
inherit (ocaml.meta) platforms; |
||||
}; |
||||
|
||||
} |
||||
|
Loading…
Reference in new issue