File tree 1 file changed +36
-0
lines changed
1 file changed +36
-0
lines changed Original file line number Diff line number Diff line change 67
67
config . packages . lbf-pure
68
68
config . packages . lbf-prelude-to-haskell
69
69
config . packages . lbf-plutus-to-haskell
70
+ config . packages . lbf-prelude-to-purescript
71
+ config . packages . lbf-plutus-to-purescript
70
72
] ;
71
73
} ;
72
74
} ;
123
125
work-dir = ".work" ;
124
126
} } $@;
125
127
'' ;
128
+
129
+ lbf-prelude-to-purescript = pkgs . writeShellScriptBin "lbf-prelude-to-purescript" ''
130
+ export LB_COMPILER=${ config . packages . lbc } /bin/lbc;
131
+ mkdir autogen;
132
+ mkdir .work;
133
+ ${ config . overlayAttrs . lbf-nix . lbfBuild . buildCall {
134
+ files = [ ] ;
135
+ import-paths = [ config . packages . lbf-prelude ] ;
136
+ gen = "${ config . packages . lbg-purescript } /bin/lbg-purescript" ;
137
+ gen-classes = [ "Prelude.Eq" "Prelude.Json" ] ;
138
+ gen-dir = "autogen" ;
139
+ gen-opts = [ "--config=${ config . packages . codegen-configs } /purescript-prelude-base.json" ] ;
140
+ work-dir = ".work" ;
141
+ } } $@;
142
+ '' ;
143
+
144
+ lbf-plutus-to-purescript = pkgs . writeShellScriptBin "lbf-plutus-to-purescript" ''
145
+ export LB_COMPILER=${ config . packages . lbc } /bin/lbc;
146
+ mkdir autogen;
147
+ mkdir .work;
148
+ ${ config . overlayAttrs . lbf-nix . lbfBuild . buildCall {
149
+ files = [ ] ;
150
+ import-paths = [ config . packages . lbf-prelude config . packages . lbf-plutus ] ;
151
+ gen = "${ config . packages . lbg-purescript } /bin/lbg-purescript" ;
152
+ gen-classes = [ "Prelude.Eq" "Prelude.Json" "Plutus.V1.PlutusData" ] ;
153
+ gen-dir = "autogen" ;
154
+ gen-opts = [
155
+ "--config=${ config . packages . codegen-configs } /purescript-prelude-base.json"
156
+ "--config=${ config . packages . codegen-configs } /purescript-plutus-ctl.json"
157
+ ] ;
158
+ work-dir = ".work" ;
159
+ } } $@;
160
+ '' ;
161
+
126
162
} ;
127
163
128
164
inherit ( hsNixFlake ) checks ;
You can’t perform that action at this time.
0 commit comments