From d697854a7ed1794b06cd4312aef3416c5fa9cacc Mon Sep 17 00:00:00 2001 From: xenia Date: Tue, 14 May 2024 16:06:55 -0700 Subject: [PATCH] move gitSource into dragnpkgs --- package.nix | 12 +++--------- 1 file changed, 3 insertions(+), 9 deletions(-) diff --git a/package.nix b/package.nix index f5f4aed..d4a0c2b 100644 --- a/package.nix +++ b/package.nix @@ -1,6 +1,7 @@ { lib, mkShell, + gitSource, buildDunePackage, ppxlib, @@ -14,17 +15,10 @@ enableShell ? false }: -let - sourceRoot = ./.; - fs = lib.fileset; - sourceFiles = fs.difference - (fs.gitTracked sourceRoot) - (fs.fileFilter (file: file.hasExt "nix") sourceRoot); - sourceSet = fs.toSource { root = sourceRoot; fileset = sourceFiles; }; -in buildDunePackage rec { +buildDunePackage rec { pname = "ppx_unicode"; version = "0.1.0"; - src = sourceSet; + src = gitSource { root = ./.; }; minimalOCamlVersion = "5.1"; dontStrip = true;