New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
picat: 1.9 -> 2.7 #73068
picat: 1.9 -> 2.7 #73068
Conversation
@GrahamcOfBorg build picat |
|
||
stdenv.mkDerivation { | ||
name = "picat-1.9-4"; | ||
gcc7Stdenv.mkDerivation { |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
please move this to all-packages.nix, and just do:
package = callPackage ../../../.nix {
stdenv = gcc7Stdenv;
};
gcc7Stdenv.mkDerivation { | |
stdenv.mkDerivation { |
@@ -1,27 +1,29 @@ | |||
{ stdenv, fetchurl }: | |||
{ stdenv, fetchurl, zlib, gcc7Stdenv }: |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
{ stdenv, fetchurl, zlib, gcc7Stdenv }: | |
{ stdenv, fetchurl, zlib }: |
|
||
src = fetchurl { | ||
url = http://picat-lang.org/download/picat19_src.tar.gz; | ||
sha256 = "0wvl95gf4pjs93632g4wi0mw1glzzhjp9g4xg93ll2zxggbxibli"; | ||
url = http://picat-lang.org/download/picat27b12_src.tar.gz; |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Allow for bot to update package
url = http://picat-lang.org/download/picat27b12_src.tar.gz; | |
url = http://picat-lang.org/download/picat${stdenv.lib.replaceStrings ["."] [""] version}_src.tar.gz; |
''; | ||
|
||
installPhase = '' | ||
mkdir -p $out/bin | ||
cp picat_$ARCH $out/bin/picat | ||
cp picat $out/bin/picat |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
can replace both lines with:
cp picat $out/bin/picat | |
install -D m755 picat -t $out/bin/picat |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Also, need to edit meta.platforms to be platforms.unix;
for it to attempt to build darwin
Thank you for your contributions.
|
Picat is now at 2.8-2 in master. Closing as OBE. |
Motivation for this change
Version bump.
Haven't tested on darwin, though.
Things done
sandbox
innix.conf
on non-NixOS linux)nix-shell -p nix-review --run "nix-review wip"
./result/bin/
)nix path-info -S
before and after)Notify maintainers
cc @earldouglas