search

NixOS / nixpkgs

Nix Packages collection & NixOS
MIT License
18.38k stars 14.33k forks source link

Expose mkOcamlPackages #19602

Closed ghost closed 8 years ago

ghost commented 8 years ago

Our team uses a hacked version of the Ocaml compiler against which I want to build ocaml packages. Can mkOcamlPackages be exposed under ocaml-ng as it was previously?

aske commented 8 years ago

OK, I'll make the change in a minute.

Also, just being curious -- what kind of changes have you made to the compiler?

ghost commented 8 years ago

Thanks! That's great!

The changes are mostly to the toplevel, including the data-structure for the toplevel environment. We use the HOL Light theorem prover, which is run entirely at the toplevel, and we've extended the toploop module so we can get metadata on theorems proven.