cafkafk/nixpkgs
cafkafk/nixpkgs
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 2

Merge pull request #88545 from jacereda/copper

Browse source 
copper: init at 4.4
This commit is contained in:
Lassulus 2020-08-24 18:02:03 +02:00 committed by GitHub
commit 4f68ebf433
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
2 changed files with 35 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

32
pkgs/development/compilers/copper/default.nix Normal file
View file

@ -0,0 +1,32 @@
{ stdenv
, fetchurl
, libffi
}:
stdenv.mkDerivation rec {
pname = "copper";
version = "4.4";
src = fetchurl {
url = "https://tibleiz.net/download/copper-${version}-src.tar.gz";
sha256 = "1nf0bw143rjhd019yms3k6k531rahl8anidwh6bif0gm7cngfwfw";
};
buildInputs = [
libffi
];
postPatch = ''
substituteInPlace Makefile --replace "-s scripts/" "scripts/"
patchShebangs .
'';
buildPhase = ''
make BACKEND=elf64 boot-elf64
make BACKEND=elf64 COPPER=stage3/copper-elf64 copper-elf64
'';
installPhase = ''
make BACKEND=elf64 install prefix=$out
'';
meta = with stdenv.lib; {
description = "Simple imperative language, statically typed with type inference and genericity.";
homepage = "https://tibleiz.net/copper/";
license = licenses.bsd2;
platforms = platforms.x86_64;
};
}

4
pkgs/top-level/all-packages.nix
View file

@ -3984,7 +3984,7 @@ in
gocryptfs = callPackage ../tools/filesystems/gocryptfs { };
godot = callPackage ../development/tools/godot {};
godot-headless = callPackage ../development/tools/godot/headless.nix { };
godot-server = callPackage ../development/tools/godot/server.nix { };
@ -8470,6 +8470,8 @@ in
'';
};
copper = callPackage ../development/compilers/copper {};
inherit (callPackages ../development/compilers/crystal {
inherit (llvmPackages_10) stdenv clang llvm;
})