xin/templates/ada/flake.nix

56 lines
1.4 KiB
Nix
Raw Normal View History

2022-09-19 07:05:32 -06:00
{
description = "thing: stuff and things";
2023-05-31 22:15:55 -06:00
inputs.nixpkgs.url = "nixpkgs/nixos-23.05";
2022-09-19 07:05:32 -06:00
2023-09-12 08:44:05 -06:00
outputs =
{ self
, nixpkgs
,
}:
let
supportedSystems = [ "x86_64-linux" "x86_64-darwin" "aarch64-linux" "aarch64-darwin" ];
forAllSystems = nixpkgs.lib.genAttrs supportedSystems;
nixpkgsFor = forAllSystems (system: import nixpkgs { inherit system; });
in
{
packages = forAllSystems (system:
let
pkgs = nixpkgsFor.${system};
in
{
thing = pkgs.stdenv.mkDerivation {
pname = "thing";
version = "v0.0.0";
src = ./.;
buildInputs = with pkgs; [ gnat12 gprbuild ];
2022-09-19 07:05:32 -06:00
2023-09-12 08:44:05 -06:00
buildPhase = ''
gprbuild thing
'';
2022-09-19 07:16:39 -06:00
2023-09-12 08:44:05 -06:00
installPhase = ''
mkdir -p $out/bin
mv thing $out/bin
'';
};
});
2022-09-19 07:05:32 -06:00
2023-09-12 08:44:05 -06:00
defaultPackage = forAllSystems (system: self.packages.${system}.thing);
devShells = forAllSystems (system:
let
pkgs = nixpkgsFor.${system};
in
{
default = pkgs.mkShell {
shellHook = ''
PS1='\u@\h:\@; '
nix flake run github:qbit/xin#flake-warn
echo "Ada `${pkgs.gnat12}/bin/gnatmake --version`"
'';
nativeBuildInputs = with pkgs; [ gnat12 gprbuild ];
};
});
};
2022-09-19 07:05:32 -06:00
}