[Nix-dev] new nixpkg: hol

[Tom Ridge]

Dear All,

Please find attached my default.nix for hol
(applications/science/logic/hol). Can you also add this to the
top-level/all-packages.nix?

Comments appreciated.

Thanks

Tom

-- 
Dr Tom Ridge, Lecturer, Department of Computer Science, University of
Leicester
-------------- next part --------------
{stdenv, fetchurl, gcc, polyml}:
# gcc for lexer

stdenv.mkDerivation {
  name = "hol";

  src = fetchurl {
    url = "http://downloads.sourceforge.net/project/hol/hol/kananaskis-5/kananaskis-5.tar.gz";
    sha256 = "1qjfx5ii80v17yr04hz70n8aa46892fjc4qcxs9gs7nh3hw7rvmx";
  };

  buildInputs = [polyml gcc];

  buildCommand = ''
    ensureDir "$out/src"
    cd "$out/src"

    tar -xzf "$src"
    cd hol

    substituteInPlace tools-poly/Holmake/Holmake.sml --replace \
      "\"/bin/mv\"" \
      "\"mv\""

    # sed -ie "/compute/,999 d" tools/build-sequence # for testing

    poly < tools/smart-configure.sml
    
    bin/build -expk -symlink

    ln -s $out/src/hol/bin $out/bin
  '';

  meta = {
    description = "An interactive theorem prover based on Higher-Order Logic.";
    longDescription = ''
HOL FIXME
    '';
    homepage = "http://hol.sourceforge.net/";
    license = "BSDFIXME";
  };
}