1
0
Fork 1
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-11-30 01:20:40 +00:00
Commit graph

11 commits

Author SHA1 Message Date
Vincent Laporte b684e3d24b ocamlPackages.javalib: 2.3.5 -> 3.0
ocamlPackages.sawja: 1.5.3 -> 1.5.6
2018-12-07 03:28:54 +00:00
Vincent Laporte 0ceb110197 ocamlPackages.sawja: 1.5.2 -> 1.5.3 2018-03-09 07:53:49 +01:00
Vincent Laporte f97766566a ocamlPackages.javalib: 2.3 -> 2.3.3
ocamlPackages.sawja: 1.5 -> 1.5.2
2017-06-30 17:03:39 +00:00
Nicolas B. Pierron 72c6f8a140 Ensure that we can evaluate the platform attribute of ocaml packages. 2016-03-13 19:08:26 +00:00
Domen Kožar 9b7b2ce8eb Revert "Introduce patchShebangsPhase ran in preConfigurePhases"
This reverts commit 512fbb280f.

See #5368
2015-01-08 10:26:49 +01:00
Domen Kožar 512fbb280f Introduce patchShebangsPhase ran in preConfigurePhases
(cherry picked from commit 91c7e8747af1fdc2a70cd98594ccbb12a5c6902d)
Signed-off-by: Domen Kožar <domen@dev.si>
2015-01-02 02:58:32 +01:00
Vincent Laporte d274ee3f80 Adds camlp4
Camlp4 is a software system for writing extensible parsers for
programming languages.

Camlp4 was part of the official OCaml distribution until its version
4.01.0.

Homepage: https://github.com/ocaml/camlp4
2014-09-23 09:34:13 +01:00
Vincent Laporte 857c13e1af Minor modifications of some ocaml packages:
adds myself as a maintainer
adds assertions to have evaluation errors rather than build errors
moves opam out of ocamlPackages, as it does not provide a library
2014-09-21 11:02:55 +01:00
Vincent Laporte ebbd54e9f0 ocaml-javalib, ocaml-sawja: uses patchShebangs rather than ad-hoc patches 2014-09-03 21:59:29 +02:00
vbgl 624e98e78e ocaml-javalib, ocaml-sawja: removes wrong path to bash in
configure scripts
2014-09-01 12:04:43 +02:00
Vincent Laporte f439cc7cf6 Adds javalib and sawja
Javalib is a library that parses Java .class files into OCaml data
structures. Sawja is a library written in OCaml, relying on Javalib to
provide a high level representation of Java bytecode programs.

Homepage: http://sawja.inria.fr/
2014-08-23 12:44:16 +04:00