Merge pull request #96161 from kidd/red-0.6.4

red: 0.6.3 -> 0.6.4
This commit is contained in:
Jörg Thalheim 2020-08-24 11:46:29 +01:00 committed by GitHub
commit 2b4871445d
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -2,12 +2,12 @@
stdenv.mkDerivation rec { stdenv.mkDerivation rec {
pname = "red"; pname = "red";
version = "0.6.3"; version = "0.6.4";
src = fetchFromGitHub { src = fetchFromGitHub {
rev = "6a43c767fa2e85d668b83f749158a18e62c30f70"; rev = "755eb943ccea9e78c2cab0f20b313a52404355cb";
owner = "red"; owner = "red";
repo = "red"; repo = "red";
sha256 = "1zh6xc728bs7r4v5jz1jjrdk0xd838xsxmvy9gfg75a3zffm0slr"; sha256 = "sha256:045rrg9666zczgrwyyyglivzdzja103s52b0fzj7hqmr1fz68q37";
}; };
rebol = fetchurl { rebol = fetchurl {
@ -36,7 +36,7 @@ stdenv.mkDerivation rec {
${r2} -qw red.r tests/hello.red ${r2} -qw red.r tests/hello.red
# Compiling the Red console... # Compiling the Red console...
${r2} -qw red.r -r environment/console/console.red ${r2} -qw red.r -r environment/console/CLI/console.red
# Generating docs... # Generating docs...
cd docs cd docs