diff options
| author | Gregor Kleen <gkleen@yggdrasil.li> | 2015-10-28 15:56:28 +0100 |
|---|---|---|
| committer | Gregor Kleen <gkleen@yggdrasil.li> | 2015-10-28 15:56:28 +0100 |
| commit | 1fdde4d0ce2adcf7e1ac07631a7ce651b8da75da (patch) | |
| tree | f6b5d29e0a18cb239002f8c190709ad28f00460b | |
| parent | 4c05d65aadfe27959b15a88e99dbccd199b534c7 (diff) | |
| download | uni-1fdde4d0ce2adcf7e1ac07631a7ce651b8da75da.tar uni-1fdde4d0ce2adcf7e1ac07631a7ce651b8da75da.tar.gz uni-1fdde4d0ce2adcf7e1ac07631a7ce651b8da75da.tar.bz2 uni-1fdde4d0ce2adcf7e1ac07631a7ce651b8da75da.tar.xz uni-1fdde4d0ce2adcf7e1ac07631a7ce651b8da75da.zip | |
MARS (MIPS Assembler and Runtime Simulator)
| -rw-r--r-- | mars.nix | 20 | ||||
| -rw-r--r-- | shell.nix | 5 |
2 files changed, 24 insertions, 1 deletions
diff --git a/mars.nix b/mars.nix new file mode 100644 index 0000000..6e55997 --- /dev/null +++ b/mars.nix | |||
| @@ -0,0 +1,20 @@ | |||
| 1 | { stdenv | ||
| 2 | , fetchurl | ||
| 3 | , makeWrapper | ||
| 4 | , jre | ||
| 5 | }: | ||
| 6 | |||
| 7 | stdenv.mkDerivation rec { | ||
| 8 | name = "mars-${version}"; | ||
| 9 | version = "4.5"; | ||
| 10 | src = fetchurl { | ||
| 11 | url = "http://courses.missouristate.edu/KenVollmar/mars/MARS_4_5_Aug2014/Mars4_5.jar"; | ||
| 12 | sha256 = "15kh1fahkkbbf4wvb6ijzny4fi5dh4pycxyzp5325dm2ddkhnd5c"; | ||
| 13 | }; | ||
| 14 | phases = "installPhase"; | ||
| 15 | buildInputs = [ makeWrapper ]; | ||
| 16 | installPhase = '' | ||
| 17 | mkdir -p $out/bin | ||
| 18 | makeWrapper "${jre}/bin/java -jar ${src}" $out/bin/mars | ||
| 19 | ''; | ||
| 20 | } | ||
| @@ -1,11 +1,14 @@ | |||
| 1 | { pkgs ? (import <nixpkgs> {}) | 1 | { pkgs ? (import <nixpkgs> {}) |
| 2 | }: | 2 | }: |
| 3 | 3 | ||
| 4 | pkgs.stdenv.mkDerivation { | 4 | let |
| 5 | mars = pkgs.callPackage ./mars.nix {}; | ||
| 6 | in pkgs.stdenv.mkDerivation { | ||
| 5 | name = "uni-env"; | 7 | name = "uni-env"; |
| 6 | buildInputs = [ pkgs.haskellPackages.pandoc | 8 | buildInputs = [ pkgs.haskellPackages.pandoc |
| 7 | pkgs.gup | 9 | pkgs.gup |
| 8 | pkgs.jdk | 10 | pkgs.jdk |
| 9 | pkgs.zip | 11 | pkgs.zip |
| 12 | mars | ||
| 10 | ]; | 13 | ]; |
| 11 | } | 14 | } |
