Added K Framework #7419
Added K Framework #7419
Conversation
|
Squash all your commits firstly. (Do |
| buildInputs = [ mvn8 openjdk8 ]; | ||
|
|
||
| # These are very useful for debugging, as you don't have to run tests or | ||
| # repeatedly rebuild the Maven cache. Obviously, as they are impure, they |
There was a problem hiding this comment.
Remove this comments about debug. And commented lines of doTest*
|
Fails to build: http://hydra.nixos.org/build/25067189/nixlog/1/raw |
This reverts commit de02110. The package doesn't compile: #7419 (comment).
This reverts commit de02110. The package doesn't compile: #7419 (comment). (cherry picked from commit 69b648e)
|
Reverted in 69b648e (master) and 9b22f38 (release-15.09). |
|
I'm currently waiting on an issue in mvn2nix (NixOS/mvn2nix-maven-plugin#4) to fix this package. Once that's solved, I'll open another pull request for the new K Framework package. |
|
Ping? I think your referenced issue has been fixed upstream since the "multiple modules" bit was merged in a few months ago. Unfortunately I'm currently getting an error that seems to be due to lack of "sha1" files for various resources, but I've never used maven before so I'm not sure if there's a good way around that or not :). Anyway 👍 there definitely should be a k-framework Nix package! :) I've had some success (I think) packaging up 4.0.0 from a release tarball but a)it'd be better to "build" it ourselves I think, and b)my use actually requires a newer version from git. Anyway, if you don't mind looking into this again that'd be great, let me know if there's anything I can do to help or test! |
|
@dtzWill I see that you're in Urbana; would you be interested in meeting up IRL to talk about this? (though I am fairly busy over the next few weeks). |
|
(we connected on IRC :)) |
|
Better yet have a nix definition implemented in K. Possible to get this package in? |
This reverts commit de02110. The package doesn't compile: NixOS#7419 (comment). (cherry picked from commit 69b648e)
Currently only has support for 64-bit Linux