diff options
author | Eelco Dolstra <eelco.dolstra@logicblox.com> | 2009-04-29 16:19:57 +0000 |
---|---|---|
committer | Eelco Dolstra <eelco.dolstra@logicblox.com> | 2009-04-29 16:19:57 +0000 |
commit | 210ba6316e116b57a22c44b5a6abcfc6efafbc11 (patch) | |
tree | 2ba378b7c29bc223d5b8bf6528eecb596f184414 /pkgs/development | |
parent | fc3e7b8f7c7464b85d3b512f7ccfbd621566cb2d (diff) | |
download | nixlib-210ba6316e116b57a22c44b5a6abcfc6efafbc11.tar nixlib-210ba6316e116b57a22c44b5a6abcfc6efafbc11.tar.gz nixlib-210ba6316e116b57a22c44b5a6abcfc6efafbc11.tar.bz2 nixlib-210ba6316e116b57a22c44b5a6abcfc6efafbc11.tar.lz nixlib-210ba6316e116b57a22c44b5a6abcfc6efafbc11.tar.xz nixlib-210ba6316e116b57a22c44b5a6abcfc6efafbc11.tar.zst nixlib-210ba6316e116b57a22c44b5a6abcfc6efafbc11.zip |
* Urgh. Some files that had been deleted in the trunk came back
through the stdenv-updates merge (probably because they had been modified in the branch). svn path=/nixpkgs/trunk/; revision=15403
Diffstat (limited to 'pkgs/development')
-rw-r--r-- | pkgs/development/compilers/ghc/setup-hook.sh | 17 | ||||
-rw-r--r-- | pkgs/development/interpreters/maude/unstable.nix | 37 |
2 files changed, 0 insertions, 54 deletions
diff --git a/pkgs/development/compilers/ghc/setup-hook.sh b/pkgs/development/compilers/ghc/setup-hook.sh deleted file mode 100644 index 11ad50a0c796..000000000000 --- a/pkgs/development/compilers/ghc/setup-hook.sh +++ /dev/null @@ -1,17 +0,0 @@ -# Create isolated package config -packages_db=$TMPDIR/.package.conf -cp @ghc@/lib/ghc-*/package.conf $packages_db -chmod u+w $packages_db - -export GHC_PACKAGE_PATH=$packages_db - -# Env hook to add packages to the package config -addLibToPackageConf () { - local fn - shopt -s nullglob - for fn in $1/lib/ghc-pkgs/ghc-@ghcVersion@/*.conf; do - @ghc@/bin/ghc-pkg register --force $fn - done -} - -envHooks=(${envHooks[@]} addLibToPackageConf) diff --git a/pkgs/development/interpreters/maude/unstable.nix b/pkgs/development/interpreters/maude/unstable.nix deleted file mode 100644 index 8e351a7954bc..000000000000 --- a/pkgs/development/interpreters/maude/unstable.nix +++ /dev/null @@ -1,37 +0,0 @@ -{ stdenv, fetchurl, flex, bison, ncurses, buddy, tecla, libsigsegv, gmp }: - -stdenv.mkDerivation rec { - name = "maude-2.4-alpha-91c"; - meta = { - homepage = "http://maude.cs.uiuc.edu/"; - description = "Maude -- a high-level specification language"; - license = "GPLv2"; - }; - src = fetchurl { - url = "http://www.csl.sri.com/users/eker/Maude/Alpha91c/Maude-2.4.tar.gz"; - sha256 = "0z25rrmg1b317xba2aqir5719js2ig3k20n1pvq3qvlzg51b6wp1"; - }; - fullMaude = fetchurl { - url = "http://www.lcc.uma.es/~duran/FullMaude/FM23j/full-maude.maude"; - sha256 = "1x25ckfh1dzn8pg5spzj7f23bkz0favybnaxww8qs29r3lsrl1ib"; - }; - docs = fetchurl { - url = "http://mirror.switch.ch/mirror/gentoo/distfiles/maude-2.3.0-extras.tar.bz2"; - sha256 = "0kd5623k1wwj1rk4b6halrm3sdvd9kbiwg1hi2c3qim1nlfdgl0d"; - }; - buildInputs = [flex bison ncurses buddy tecla gmp libsigsegv]; - configurePhase = ''./configure --disable-dependency-tracking --prefix=$out TECLA_LIBS="-ltecla -lncursesw" CFLAGS="-O3" CXXFLAGS="-O3"''; - doCheck = true; - postInstall = - '' - ensureDir $out/share/maude - cp src/Main/*.maude $out/share/maude/ - cp ${fullMaude} $out/share/maude/full-maude.maude - - ensureDir $out/share/doc/maude - tar xf ${docs} - rm -f maude-2.3.0-extras/full-maude.maude - mv maude-2.3.0-extras/pdfs $out/share/doc/maude/pdf - mv maude-2.3.0-extras/* $out/share/doc/maude/ - ''; -} |