?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
blame | history | raw | HEAD
Improve hol_light:
[nixpkgs-libre.git] / pkgs / applications / science / logic / hol_light / start_hol_light
blob638cf8d3e772c66beb784536976762609526eca8
1 #!/bin/sh
2
3 exec @OCAML@/bin/ocaml -I @CAMLP5@/lib/ocaml/camlp5 -I @HOL_DIR@ "$@"
Nixpkgs-Libre, a libre version of the Nix Package Collection (Nixpkgs)