bill
/
sealPostGenerator
1
0
Fork 0
Code

Add defaults to executable

Bill Ewanick 2023-08-02 18:54:34 -04:00
parent 73235cf0ab
commit 3bf5dc18d4
1 changed files with 2 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
flake.nix
View File

@ -21,6 +21,8 @@
packages.default = pkgs.runCommand "generateSealPosts" { } '' packages.default = pkgs.runCommand "generateSealPosts" { } ''
echo Generating seal posts echo Generating seal posts
mkdir -p $out/bin mkdir -p $out/bin
cp ${./config.dhall} $out/bin/config.dhall
cp -r ${./images} $out/bin/images
${ghc'}/bin/ghc \ ${ghc'}/bin/ghc \
-O2 \ -O2 \
-static \ -static \