rhi/idris2-tap
1
0
Fork 0
Code Issues 1 Pull requests Projects Releases Wiki Activity

skeleton of example

Browse source
This commit is contained in:
rhiannon morris 2022-05-26 16:29:47 +02:00
parent 4c0ab9ca9b
commit d8e8a95ef4
3 changed files with 39 additions and 14 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

7
example/Example.idr Normal file
View file

@ -0,0 +1,7 @@
module Example
import TAP
main : IO ()
main = TAP.main !getTestOpts []

8
example/example.ipkg Normal file
View file

@ -0,0 +1,8 @@
package tap-example
depends = base, contrib, tap
sourcedir = "."
executable = tap-example
main = Example
modules = Example

20
flake.nix
View file

@ -7,8 +7,10 @@
};
outputs = { self, nixpkgs, idris2-pkgs, flake-utils }:
flake-utils.lib.eachSystem [ "x86_64-darwin" "x86_64-linux" "i686-linux" ]
(system:
let systems = with flake-utils.lib.system;
[ x86_64-darwin x86_64-linux i686-linux ];
in
flake-utils.lib.eachSystem systems (system:
let
pkgs = import nixpkgs {
inherit system;
@ -16,11 +18,19 @@
};
inherit (pkgs.idris2-pkgs._builders) idrisPackage devEnv;
packages = rec {
tap = idrisPackage ./. { };
tap-example = idrisPackage ./example { extraPkgs = packages; };
};
devShells =
let mkDevShell = _: pkg:
pkgs.mkShell { buildInputs = [ (devEnv pkg) ]; };
shells = packages // (with packages; { example = tap-example; });
in builtins.mapAttrs mkDevShell shells;
in {
defaultPackage = tap;
packages = { inherit tap; };
devShell = pkgs.mkShell { buildInputs = [ (devEnv tap) ]; };
inherit packages devShells;
defaultPackage = packages.tap;
devShell = devShells.tap;
}
);
}