From e5ee911e2ecceb73cd9538308d280c44948952ce Mon Sep 17 00:00:00 2001 From: Eelco Visser Date: Wed, 28 Jul 2004 10:49:55 +0000 Subject: [PATCH] Hevea is an interpreter for (La)TeX that produces HTML. It is written in OCaml. svn path=/nixpkgs/trunk/; revision=1189 --- pkgs/system/all-packages-generic.nix | 6 +++--- pkgs/system/populate-cache.nix | 2 +- pkgs/tools/typesetting/hevea/builder.sh | 2 ++ pkgs/tools/typesetting/hevea/default.nix | 4 ++-- 4 files changed, 8 insertions(+), 6 deletions(-) diff --git a/pkgs/system/all-packages-generic.nix b/pkgs/system/all-packages-generic.nix index 8473e519880..cf848b06f52 100644 --- a/pkgs/system/all-packages-generic.nix +++ b/pkgs/system/all-packages-generic.nix @@ -117,9 +117,9 @@ rec { inherit (xlibs) libXaw; }; - ##hevea = (import ../tools/typesetting/hevea) { - ## inherit fetchurl stdenv ocaml; - ##}; + hevea = (import ../tools/typesetting/hevea) { + inherit fetchurl stdenv ocaml; + }; ### SHELLS diff --git a/pkgs/system/populate-cache.nix b/pkgs/system/populate-cache.nix index 1a971334deb..0970a87880f 100644 --- a/pkgs/system/populate-cache.nix +++ b/pkgs/system/populate-cache.nix @@ -58,7 +58,7 @@ let { uml nix ocaml -# hevea + hevea ;}; diff --git a/pkgs/tools/typesetting/hevea/builder.sh b/pkgs/tools/typesetting/hevea/builder.sh index 34116917e0b..895d8015e06 100644 --- a/pkgs/tools/typesetting/hevea/builder.sh +++ b/pkgs/tools/typesetting/hevea/builder.sh @@ -1,5 +1,7 @@ . $stdenv/setup || exit 1 +mkdir -p $out/bin $out/lib + tar xvfz $src || exit 1 cd hevea-* || exit 1 sed s+/usr/local+$out+ Makefile > Makefile.new || exit 1 diff --git a/pkgs/tools/typesetting/hevea/default.nix b/pkgs/tools/typesetting/hevea/default.nix index 57a19f331fa..dfa8a43974a 100644 --- a/pkgs/tools/typesetting/hevea/default.nix +++ b/pkgs/tools/typesetting/hevea/default.nix @@ -1,9 +1,9 @@ {stdenv, fetchurl, ocaml}: stdenv.mkDerivation { - name = "gnupatch-2.5.4"; + name = "hevea-1.07"; builder = ./builder.sh; src = fetchurl { url = http://pauillac.inria.fr/~maranget/hevea/distri/hevea-1.07.tar.gz; md5 = "561d7a2c10ea9e6a5b352c24d9b65998"; }; - buildInputs = [ocaml] + buildInputs = [ocaml]; }