ocamlPackages.ocamlgraph: 1.8.8 -> 2.0.0 (#126703)

ocamlPackages.ocamlgraph: 1.8.8 -> 2.0.0
ocamlPackages.ocamlgraph_gtk: init 2.0.0
framac: fix for ocamlgraph 2.0.0
This commit is contained in:
superherointj 2021-06-24 03:26:49 -03:00 committed by GitHub
parent 65db0350fe
commit 955df801e8
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
4 changed files with 31 additions and 30 deletions

View file

@ -1,39 +1,26 @@
{ stdenv, lib, fetchurl, ocaml, findlib
, gtkSupport ? true
, lablgtk
}:
{ lib, fetchurl, buildDunePackage, stdlib-shims }:
stdenv.mkDerivation rec {
buildDunePackage rec {
pname = "ocamlgraph";
version = "1.8.8";
version = "2.0.0";
src = fetchurl {
url = "http://ocamlgraph.lri.fr/download/ocamlgraph-${version}.tar.gz";
sha256 = "0m9g16wrrr86gw4fz2fazrh8nkqms0n863w7ndcvrmyafgxvxsnr";
url = "https://github.com/backtracking/ocamlgraph/releases/download/${version}/ocamlgraph-${version}.tbz";
sha256 = "029692bvdz3hxpva9a2jg5w5381fkcw55ysdi8424lyyjxvjdzi0";
};
buildInputs = [ ocaml findlib ]
++ lib.optional gtkSupport lablgtk
;
minimalOCamlVersion = "4.03";
useDune2 = true;
createFindlibDestdir = true;
propagatedBuildInputs = [
stdlib-shims
];
buildFlags = [ "all" ];
installTargets = [ "install-findlib" ];
postInstall = lib.optionalString gtkSupport ''
mkdir -p $out/bin
cp dgraph/dgraph.opt $out/bin/graph-viewer
cp editor/editor.opt $out/bin/graph-editor
'';
meta = {
homepage = "http://ocamlgraph.lri.fr/";
description = "Graph library for Objective Caml";
license = lib.licenses.gpl2Oss;
platforms = ocaml.meta.platforms or [];
maintainers = [
lib.maintainers.kkallio
];
meta = with lib; {
homepage = "http://ocamlgraph.lri.fr/";
downloadPage = "https://github.com/backtracking/ocamlgraph";
description = "Graph library for OCaml";
license = licenses.gpl2Oss;
maintainers = with maintainers; [ kkallio superherointj ];
};
}

View file

@ -0,0 +1,12 @@
{ buildDunePackage, lablgtk, ocamlgraph, stdlib-shims, ... }:
buildDunePackage rec {
pname = "ocamlgraph_gtk";
inherit (ocamlgraph) version src useDune2 meta;
propagatedBuildInputs = [
lablgtk
ocamlgraph
stdlib-shims
];
}

View file

@ -15,6 +15,7 @@ let
mlgmpidl
num
ocamlgraph
stdlib-shims
why3
yojson
zarith
@ -37,7 +38,7 @@ stdenv.mkDerivation rec {
nativeBuildInputs = [ autoconf wrapGAppsHook ];
buildInputs = with ocamlPackages; [
ncurses ocaml findlib ltl2ba ocamlgraph yojson menhirLib camlzip
ncurses ocaml findlib ltl2ba ocamlgraph ocamlgraph_gtk yojson menhirLib camlzip
lablgtk coq graphviz zarith apron why3 mlgmpidl doxygen
gdk-pixbuf
];

View file

@ -829,6 +829,7 @@ let
gettext-stub = callPackage ../development/ocaml-modules/ocaml-gettext/stub.nix { };
ocamlgraph = callPackage ../development/ocaml-modules/ocamlgraph { };
ocamlgraph_gtk = callPackage ../development/ocaml-modules/ocamlgraph/gtk.nix { };
ocaml_http = callPackage ../development/ocaml-modules/http { };