File tree Expand file tree Collapse file tree 1 file changed +18
-0
lines changed Expand file tree Collapse file tree 1 file changed +18
-0
lines changed Original file line number Diff line number Diff line change 121
121
} } "$@";
122
122
'' ;
123
123
124
+ lbf-plutus-to-plutustx = pkgs . writeShellScriptBin "lbf-plutus-to-plutustx" ''
125
+ export LB_COMPILER=${ config . packages . lbc } /bin/lbc;
126
+ mkdir autogen;
127
+ mkdir .work;
128
+ ${ config . lbf-nix . lbfBuild . buildCall {
129
+ files = [ ] ;
130
+ import-paths = [ config . packages . lbf-prelude config . packages . lbf-plutus ] ;
131
+ gen = "${ config . packages . lbg-plutustx } /bin/lbg-plutustx" ;
132
+ gen-classes = [ "Prelude.Eq" "Plutus.V1.PlutusData" ] ;
133
+ gen-dir = "autogen" ;
134
+ gen-opts = [
135
+ "--config=${ config . packages . codegen-configs } /plutustx-prelude.json"
136
+ "--config=${ config . packages . codegen-configs } /plutustx-plutus.json"
137
+ ] ;
138
+ work-dir = ".work" ;
139
+ } } "$@";
140
+ '' ;
141
+
124
142
lbf-prelude-to-purescript = pkgs . writeShellScriptBin "lbf-prelude-to-purescript" ''
125
143
export LB_COMPILER=${ config . packages . lbc } /bin/lbc;
126
144
mkdir -p autogen;
You can’t perform that action at this time.
0 commit comments