update indexed dependency and modernize nix stuff a bit

mattpolzin · Dec 9, 2024 · 7a7bded · 7a7bded
1 parent e4faae7
commit 7a7bded
Show file tree

Hide file tree

Showing 5 changed files with 1,079 additions and 133 deletions.
diff --git a/Makefile b/Makefile
@@ -3,7 +3,7 @@ IDRIS2 ?= idris2
 # system libncurses version:
 NCURSES_VERSION ?=
 # indexed Idris package:
-INDEXED_VERSION = 0.0.9
+INDEXED_VERSION = 0.0.10
 # install in the local depends directory by default:
 INDEXED_INSTALL_LOCATION ?= ./depends
 

diff --git a/examples/control_curses_ticker/default.nix b/examples/control_curses_ticker/default.nix
@@ -0,0 +1,7 @@
+{ buildIdris, ncurses-idris }:
+(buildIdris {
+  ipkgName = "control_curses_ticker";
+  version = "0.0.1";
+  src = ./.;
+  idrisLibraries = [ ncurses-idris ];
+}).executable
diff --git a/examples/control_curses_ticker/flake.nix b/examples/control_curses_ticker/flake.nix
@@ -3,50 +3,15 @@
 
   inputs = {
     flake-utils.url = "github:numtide/flake-utils";
-    idris2 = {
-      url = "github:idris-lang/idris2/main";
-      inputs.nixpkgs.follows = "nixpkgs";
-    };
-    ncurses-idris = {
-      url = "github:mattpolzin/ncurses-idris/main";
-      inputs.nixpkgs.follows = "nixpkgs";
-      inputs.idris2.follows = "idris2";
-    };
+    ncurses-idris.url = "github:mattpolzin/ncurses-idris/main";
   };
 
-  outputs = { self, nixpkgs, flake-utils, idris2, ncurses-idris }:
+  outputs = { nixpkgs, flake-utils, ncurses-idris, ... }:
   flake-utils.lib.eachDefaultSystem (system:
     let pkgs = nixpkgs.legacyPackages.${system};
-        inherit (pkgs) stdenv;
-        idris2' = idris2.defaultPackage.${system};
         ncurses-idris' = ncurses-idris.packages.${system}.default;
-        inherit (builtins) concatStringsSep;
     in rec {
-      packages.control-curses-ticker = stdenv.mkDerivation rec {
-        name = "control-curses-ticker";
-        version = "0.0.1";
-        src = ./.;
-        idrisPackages = [ ncurses-idris' ] ++ ncurses-idris'.idrisPackages;
-        buildInputs = [
-          idris2'
-        ] ++ idrisPackages;
-
-        IDRIS2="${idris2'}/bin/idris2";
-        IDRIS2_PACKAGE_PATH = concatStringsSep ":" (map (p: "${p}/idris2-${idris2'.version}") idrisPackages);
-
-        buildPhase = ''
-          make clean
-          make app
-        '';
-
-        installPhase = ''
-          rm ./build/exec/control_curses_ticker_app/compileChez
-          rm ./build/exec/control_curses_ticker_app/control_curses_ticker.ss
-          mkdir -p $out/bin/control_curses_ticker_app
-          install ./build/exec/control_curses_ticker_app/* $out/bin/control_curses_ticker_app/
-          install ./build/exec/control_curses_ticker $out/bin/
-        '';
-      };
+      packages.control-curses-ticker = import ./. { inherit (pkgs) buildIdris; ncurses-idris = ncurses-idris'; };
       packages.default = packages.control-curses-ticker;
       apps.control-curses-ticker = flake-utils.lib.mkApp { drv = packages.control-curses-ticker; };
       apps.default = apps.control-curses-ticker;