templates: add Ada template

This commit is contained in:
Aaron Bieber 2022-09-19 07:05:32 -06:00
parent 7e74711a99
commit 5c5282770a
No known key found for this signature in database
3 changed files with 46 additions and 0 deletions

View File

@ -167,6 +167,10 @@
}; };
}; };
templates."ada" = {
path = ./templates/ada;
description = "Ada template.";
};
templates."go" = { templates."go" = {
path = ./templates/go; path = ./templates/go;
description = "Go template."; description = "Go template.";

1
templates/ada/.envrc Normal file
View File

@ -0,0 +1 @@
use flake

41
templates/ada/flake.nix Normal file
View File

@ -0,0 +1,41 @@
{
description = "thing: stuff and things";
inputs.nixpkgs.url = "nixpkgs/nixos-22.05";
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 = ./.;
};
buildPhase = ''
gprbuild
'';
});
defaultPackage = forAllSystems (system: self.packages.${system}.thing);
devShells = forAllSystems (system:
let pkgs = nixpkgsFor.${system};
in {
default = pkgs.mkShell {
shellHook = ''
PS1='\u@\h:\@; '
echo "Ada `${pkgs.gnat12}/bin/gnatmake --version`"
'';
nativeBuildInputs = with pkgs; [ gnat12 gprbuild ];
};
});
};
}