Vincent Laporte
3dd248db21
ocamlPackages.ocamlgraph: 2.0.0 → 2.1.0
2023-09-19 07:37:27 +02:00
ajs124
0c35b851e4
maintainers: remove kkallio
...
no github account linked
2022-06-29 00:55:00 +02:00
superherointj
df4fac48fc
maintainers: remove superherointj
2021-11-02 18:22:31 -07:00
superherointj
955df801e8
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
2021-06-24 08:26:49 +02:00
sternenseemann
4e42cac49d
ocamlPackages: stdenv.lib → lib
...
This change was produced by searching for remaining occurrences of
stdenv.lib and replacing them manually.
Reference #108938 .
2021-01-12 16:33:18 +01:00
Vincent Laporte
e3c2934213
ocamlPackages.ocamlgraph: make GTK support optional
...
When `gtkSupport` is true, additional components are built:
- a module to render a graph on a GTK2 canvas
- two GTK-based programs: a graph viewer and a graph editor.
The default is to have `gtkSupport` as it is used in e.g., Frama-C.
2020-08-23 08:12:49 +02:00
Michael Reilly
84cf00f980
treewide: Per RFC45, remove all unquoted URLs
2020-04-10 17:54:53 +01:00
Yorick van Pelt
2693fa4cea
ocamlPackages.ocamlgraph: allow building without lablgtk
2019-11-11 11:10:14 +03:00
volth
46420bbaa3
treewide: name -> pname (easy cases) ( #66585 )
...
treewide replacement of
stdenv.mkDerivation rec {
name = "*-${version}";
version = "*";
to pname
2019-08-15 13:41:18 +01:00
Vincent Laporte
b938811393
ocamlgraph: 1.8.7 -> 1.8.8
2017-10-18 19:08:16 +00:00
Matthew Maurer
3c7b0d37ae
ocamlgraph: 1.8.5 -> 1.8.7
2017-03-29 06:37:00 +00:00
Benno Fünfstück
dd23d08b90
ocamlgraph: fix binary location (binaries had double prefix path)
...
Due to setting `DESTDIR` *and* `exec_prefix` (defaulted to `$prefix`), binaries
ended up in `$out/$out/bin` instead of just $out/bin. Not setting `DESTDIR` and adapting
the `LIBDIR` patch a little fixes this issue.
2017-03-06 12:51:03 +01:00
Kirill Boltaev
3e646865f4
treewide: use ocaml.version ( #19192 )
2016-10-05 09:32:30 +02:00
Nicolas B. Pierron
72c6f8a140
Ensure that we can evaluate the platform attribute of ocaml packages.
2016-03-13 19:08:26 +00:00
Mateusz Kowalczyk
007f80c1d0
Turn more licenses into lib.licenses style
...
Should eval cleanly, as far as -A tarball tells me.
Relevant: issue #2999 , issue #739
2014-11-06 00:48:16 +00:00
Vincent Laporte
b9741719fa
Fixes ocamlgraph (depends on camlp4) and prooftree (not ready for
...
OCaml4.02)
2014-09-23 20:48:50 +01:00
Austin Seipp
5f702d52f4
ocamlgraph: upgrade to 1.8.5
...
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2014-05-01 02:30:39 -05:00
Bjørn Forsman
083d0890f5
More description fixes
...
* Remove package name
* Start with upper case letter
* Remove trailing period
Also reword some descriptions and move some long descriptions to
longDescription.
I'm not touching generated packages.
2013-10-06 12:01:38 +02:00
Arie Middelkoop
7d70836580
ocamlgraph: update to 1.8.2
...
Also added the dependency on lablgtk, so that it builds the 'dgraph' module,
which is needed for packaging frama-c. This dependency can be made optional.
2012-07-31 14:08:48 +02:00
Karn Kallio
9ac48a630e
Add OPA to Nixpkgs.
...
svn path=/nixpkgs/trunk/; revision=30578
2011-11-27 23:58:46 +00:00