bill
/
sealPostGenerator
1
0
Fork 0
Code

Revert last change

Bill Ewanick 2023-08-02 19:01:05 -04:00
parent 3bf5dc18d4
commit 5d206d73f0
1 changed files with 0 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
flake.nix
View File

@ -21,8 +21,6 @@
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 \