MirrorHub/nixpkgs
0
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-11-16 14:54:29 +01:00
Code Issues Projects Releases Packages Wiki Activity Actions 1

Merge pull request #264516 from marsam/update-c0

Browse source 
c0: unstable-2022-10-25 -> unstable-2023-09-05
This commit is contained in:
Mario Rodas 2023-10-31 21:26:40 -05:00 committed by GitHub
commit 21be2973c7
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 8 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

11
pkgs/development/compilers/c0/default.nix
View file

@ -10,17 +10,18 @@
, libpng
, ncurses
, readline
, unstableGitUpdater
}:
stdenv.mkDerivation rec {
pname = "c0";
version = "unstable-2022-10-25";
version = "unstable-2023-09-05";
src = fetchFromBitbucket {
owner = "c0-lang";
repo = "c0";
rev = "7ef3bc9ca232ec41936e93ec8957051e48cacfba";
sha256 = "sha256-uahF8fOp2ZJE8EhZke46sbPmN0MNHzsLkU4EXkV710U=";
rev = "608f97eef5d81bb85963d66f955730dd93996f67";
hash = "sha256-lRIEtclx+NKxAO72nsvnxVeEGCEe6glC6w8MXh1HEwY=";
};
patches = [
@ -67,6 +68,10 @@ stdenv.mkDerivation rec {
mv $out/c0-mode/ $out/share/emacs/site-lisp/
'';
passthru.updateScript = unstableGitUpdater {
url = "https://bitbucket.org/c0-lang/c0.git";
};
meta = with lib; {
description = "A small safe subset of the C programming language, augmented with contracts";
homepage = "https://c0.cs.cmu.edu/";