2
0
Fork 0
Commit Graph

385 Commits

Author SHA1 Message Date
Emery Hemingway bb2ed81fe9 Build NOVA in parallel
The current hydra build time is in excess of ten seconds, this is
unacceptable.
2019-10-07 20:35:45 +02:00
Emery Hemingway 693ac303e0 Use a host-only Nixpkgs for test environment
Discriminate test-packages and host-packages when building tests.
This avoids the test tooling being tainted with the hostPlatform
and targetPlatform of the test. For example, QEMU must be built
independently and isolated from the guest platform, for the sake
of test control and minimizing rebuilds.
2019-10-07 17:21:06 +02:00
Emery Hemingway 70c090af51 Add Solo5 package and tests 2019-10-07 10:37:59 +02:00
Emery Hemingway 3f19dae637 Update Nixpkgs pin 2019-10-06 00:58:20 +02:00
Emery Hemingway b4503cb98e Disable tests until Dhall is resolved 2019-10-05 21:35:28 +02:00
Emery Hemingway a1259a54e7 Tests: split off Linux test driver, generate with Dhall 2019-10-05 20:41:02 +02:00
Emery Hemingway cede594e15 Add dhall-haskell submodule
We need the latest version of the Dhall interpreter, but that needs
a pin to Nixpkgs release-17.09. Use submodule rather than a fetchgit
because dhall-haskell requires a submodule itself, and fetgit does
not pull this in.
2019-10-05 20:41:02 +02:00
Emery Hemingway 96e098d644 Configure Genode build with tup.config 2019-10-04 14:45:48 +02:00
Emery Hemingway 77fc1c8da2 Fix release evauation by masking lambdas 2019-10-04 12:51:09 +02:00
Emery Hemingway 557bb6f119 Update upstream ref 2019-10-04 12:51:05 +02:00
Emery Hemingway 4d51c1671f Add tests 2019-10-04 12:46:23 +02:00
Emery Hemingway e4b6421545 Add pinned test binaries 2019-10-04 12:46:21 +02:00
Emery Hemingway 251876c93e Add pinned binaries for the base-* depot packages 2019-09-30 17:43:57 +02:00
Emery Hemingway b03c49c31c Add a pinned fetch list for Genode Labs binaries 2019-09-30 14:40:09 +02:00
Emery Hemingway 2d469bd228 Update README 2019-09-30 14:40:02 +02:00
Emery Hemingway 41071d2625 License under Hippocratic-1.1 2019-09-27 12:38:35 +02:00
Emery Hemingway 0093667936 Remove stale patches 2019-09-26 09:48:06 +02:00
Emery Hemingway 316259817c Add NOVA, update release.nix 2019-09-25 13:48:34 +02:00
Emery Hemingway 8a98432df3 Add meta to Genode upstream packages 2019-09-25 13:48:34 +02:00
Emery Hemingway 2a230ea26b Add README 2019-09-25 13:48:34 +02:00
Emery Hemingway 734f38fabb Refactor for clarity
Mode around for the sake of clarity, pin Nixpkgs with fetchGit for
convenience.
2019-09-25 13:48:34 +02:00
Emery Hemingway db934b29d9 Clean dead expressions 2019-09-25 13:48:34 +02:00
Emery Hemingway a2c2dcad29 Update upstream revision 2019-09-25 13:48:34 +02:00
Emery Hemingway a6aa89ebee Build upstream with Hydra 2019-09-25 13:48:34 +02:00
Emery Hemingway fd3ca8fb27 Split upstream into multiple derivations 2019-09-25 13:48:34 +02:00
Emery Hemingway 2898f32458 Remove LLVM from overlay
This is temporary.
2019-09-25 13:48:34 +02:00
Emery Hemingway 272f6c8277 Fix genode detection in overlay 2019-09-25 13:48:34 +02:00
Emery Hemingway 837b701018 Nixpkgs overlay 2019-09-25 13:48:26 +02:00
Emery Hemingway 4c1beb7946 Build only stdenv at hydra 2019-09-03 17:54:56 +02:00
Emery Hemingway 15bdde1726 useLLVM 2019-09-03 15:16:07 +02:00
Emery Hemingway ca13c09335 Build Genode stdenv 2019-09-01 16:48:10 +02:00
Emery Hemingway 7f8e7923a6 Update Git URLs 2019-09-01 16:00:12 +02:00
Emery Hemingway 95e3b6a62e Add Dhall preludes 2019-08-30 13:10:45 +02:00
Emery Hemingway 99be653e7e Add ScummVM derivation 2019-08-18 18:30:10 +02:00
Emery Hemingway 3ad62e086e Initial commit 2019-08-18 16:07:11 +02:00