From fab16355e57486d56d465d030454a0474fe1723b Mon Sep 17 00:00:00 2001
From: Seungheon Oh <seungheon.ooh@gmail.com>
Date: Tue, 7 Mar 2023 21:08:25 -0600
Subject: [PATCH] Nix to export

---
 agora/Agora/Bootstrap.hs | 23 ++++++++++++-----------
 agora/Agora/Linker.hs    |  1 +
 flake.nix                | 19 +++++++++++++++++++
 3 files changed, 32 insertions(+), 11 deletions(-)

diff --git a/agora/Agora/Bootstrap.hs b/agora/Agora/Bootstrap.hs
index 3fdd3ff..238ea09 100644
--- a/agora/Agora/Bootstrap.hs
+++ b/agora/Agora/Bootstrap.hs
@@ -56,17 +56,18 @@ agoraScripts conf =
 agoraScripts' :: Config -> Either Text [TypedScriptEnvelope]
 agoraScripts' conf =
   sequenceA
-    [ envelope "agora:governorPolicy" governorPolicy
-    , envelope "agora:governorValidator" governorValidator
-    , envelope "agora:stakePolicy" stakePolicy
-    , envelope "agora:stakeValidator" stakeValidator
-    , envelope "agora:proposalPolicy" proposalPolicy
-    , envelope "agora:proposalValidator" proposalValidator
-    , envelope "agora:treasuryValidator" treasuryValidator
-    , envelope "agora:authorityTokenPolicy" authorityTokenPolicy
-    , envelope "agora:noOpValidator" noOpValidator
-    , envelope "agora:treasuryWithdrawalValidator" treasuryWithdrawalValidator
-    , envelope "agora:mutateGovernorValidator" mutateGovernorValidator
+    [ envelope "Governor Policy" governorPolicy
+    , envelope "Governor Validator" governorValidator
+    , envelope "Stake Policy" stakePolicy
+    , envelope "Stake Validator" stakeValidator
+    , envelope "Proposal Policy" proposalPolicy
+    , envelope "Proposal Validator" proposalValidator
+    , envelope "Treasury Validator" treasuryValidator
+    , envelope "Authority Token Policy" authorityTokenPolicy
+    , envelope "NoOp Validator" noOpValidator
+    , envelope "Treasury Withdrawal Validator" treasuryWithdrawalValidator
+    , envelope "Mutate Governor Validator" mutateGovernorValidator
+    , envelope "Always Succeeds Policy" $ ((plam $ \_ _ -> popaque $ pcon PUnit) :: Term s PMintingPolicy)
     ]
   where
     envelope ::
diff --git a/agora/Agora/Linker.hs b/agora/Agora/Linker.hs
index 61d85db..99afdcc 100644
--- a/agora/Agora/Linker.hs
+++ b/agora/Agora/Linker.hs
@@ -178,6 +178,7 @@ linker = do
             , ("agora:proposalValidator", toRoledScript propVal')
             , ("agora:treasuryValidator", toRoledScript treaVal')
             , ("agora:authorityTokenPolicy", toRoledScript atPol')
+
             , ("agora:noOpValidator", toRoledScript noOpVal')
             , ("agora:treasuryWithdrawalValidator", toRoledScript treaWithdrawalVal')
             , ("agora:mutateGovernorValidator", toRoledScript mutateGovVal')
diff --git a/flake.nix b/flake.nix
index 373e8a9..625908e 100644
--- a/flake.nix
+++ b/flake.nix
@@ -53,6 +53,25 @@
             ];
           };
           ci.required = [ "all_onchain" ];
+          packages.export =
+            pkgs.stdenv.mkDerivation {
+              name = "export";
+              src = ./.;
+              buildInput = [
+                self'.packages."agora:exe:agora-scripts"
+              ];
+              buildPhase = ''
+                export PATH=$PATH:${self'.packages."agora:exe:agora-scripts"}/bin
+                agora-scripts file --builder raw
+                agora-scripts file --builder rawDebug
+              '';
+              installPhase = ''
+                NAME=${if self ? rev then self.shortRev else "dirty"}
+                mkdir $out
+                cp raw.json $out/agora-"$NAME".json
+                cp rawDebug.json $out/agora-debug-"$NAME".json
+              '';
+            };
         };
 
       flake.hydraJobs.x86_64-linux = (