diff options
| author | Peter Simons <simons@cryp.to> | 2014-01-13 17:14:40 +0100 |
|---|---|---|
| committer | Peter Simons <simons@cryp.to> | 2014-01-13 17:14:40 +0100 |
| commit | 26ed6c11482466d11b51b7dd939ae3a7585645da (patch) | |
| tree | 75aaa58f0ab6dab692cb258ca39b569e36a89794 /pkgs/development/interpreters/maude | |
| parent | e79001d4d6b3741c7a47d42b1405aa1b6ebe61f6 (diff) | |
| download | nixpkgs-26ed6c11482466d11b51b7dd939ae3a7585645da.tar nixpkgs-26ed6c11482466d11b51b7dd939ae3a7585645da.tar.gz nixpkgs-26ed6c11482466d11b51b7dd939ae3a7585645da.tar.bz2 nixpkgs-26ed6c11482466d11b51b7dd939ae3a7585645da.tar.lz nixpkgs-26ed6c11482466d11b51b7dd939ae3a7585645da.tar.xz nixpkgs-26ed6c11482466d11b51b7dd939ae3a7585645da.tar.zst nixpkgs-26ed6c11482466d11b51b7dd939ae3a7585645da.zip | |
maude: cosmetic
Diffstat (limited to 'pkgs/development/interpreters/maude')
| -rw-r--r-- | pkgs/development/interpreters/maude/default.nix | 13 |
1 files changed, 9 insertions, 4 deletions
diff --git a/pkgs/development/interpreters/maude/default.nix b/pkgs/development/interpreters/maude/default.nix index de1a14b522b..23e2bc98ba4 100644 --- a/pkgs/development/interpreters/maude/default.nix +++ b/pkgs/development/interpreters/maude/default.nix @@ -15,12 +15,17 @@ stdenv.mkDerivation rec { buildInputs = [flex bison ncurses buddy tecla gmpxx libsigsegv makeWrapper]; - configurePhase = ''./configure --disable-dependency-tracking --prefix=$out --datadir=$out/share/maude TECLA_LIBS="-ltecla -lncursesw" CFLAGS="-O3" CXXFLAGS="-O3"''; + preConfigure = '' + configureFlagsArray=( + --datadir=$out/share/maude + TECLA_LIBS="-ltecla -lncursesw" + CFLAGS="-O3" CXXFLAGS="-O3" + ) + ''; doCheck = true; - postInstall = - '' + postInstall = '' for n in "$out/bin/"*; do wrapProgram "$n" --suffix MAUDE_LIB ':' "$out/share/maude"; done mkdir -p $out/share/maude cp ${fullMaude} $out/share/maude/full-maude.maude @@ -41,7 +46,7 @@ stdenv.mkDerivation rec { rewriting logic computation. ''; - platforms = stdenv.lib.platforms.all; + hydraPlatforms = stdenv.lib.platforms.linux; maintainers = [ stdenv.lib.maintainers.simons ]; }; } |