@@ -33,43 +33,39 @@ function workbench-prebuild-executables()
3333 newline
3434
3535 unset NIX_ENFORCE_PURITY
36- for exe in cardano-node cardano-profile cardano-topology cardano-tracer tx-generator locli
36+ verbose " exec" " cabal build ${WB_FLAGS_CABAL} -- exe:cardano-node"
37+ cabal $( test -z " ${verbose:- } " && echo ' -v0' ) build ${WB_FLAGS_CABAL} -- exe:cardano-node || return 1
38+ for exe in cardano-profile cardano-topology cardano-tracer tx-generator locli
3739 do echo " workbench: $( blue prebuilding) $( red $exe ) "
38- verbose " exec" " cabal build ${WB_FLAGS_CABAL} -- exe:$exe "
39- cabal $( test -z " ${verbose:- } " && echo ' -v0' ) build ${WB_FLAGS_CABAL} -- exe:$exe || return 1
40+ verbose " exec" " cabal build -- exe:$exe "
41+ cabal $( test -z " ${verbose:- } " && echo ' -v0' ) build -- exe:$exe || return 1
4042 done
4143 echo
4244 eval $restore_trace
4345}
4446
4547function cardano-node() {
46- ${WB_NODE_EXECPREFIX} cabal -v0 run ${WB_FLAGS_CABAL} exe:cardano-node -- ${WB_FLAGS_RTS} " $@ "
48+ ${WB_NODE_EXECPREFIX} cabal -v0 run ${WB_FLAGS_CABAL} exe:cardano-node -- ${WB_FLAGS_RTS} " $@ "
4749}
4850
4951function cardano-profile() {
50- cabal -v0 run ${WB_FLAGS_CABAL} exe:cardano-profile -- ${WB_FLAGS_RTS} " $@ "
52+ cabal -v0 run exe:cardano-profile " $@ "
5153}
5254
5355function cardano-topology() {
54- cabal -v0 run ${WB_FLAGS_CABAL} exe:cardano-topology -- ${WB_FLAGS_RTS} " $@ "
56+ cabal -v0 run exe:cardano-topology " $@ "
5557}
5658
5759function cardano-tracer() {
58- cabal -v0 run ${WB_FLAGS_CABAL} exe:cardano-tracer -- ${WB_FLAGS_RTS} " $@ "
60+ cabal -v0 run exe:cardano-tracer " $@ "
5961}
6062
6163function locli() {
62- # cabal -v0 build ${WB_FLAGS_CABAL} exe:locli
63- # set-git-rev \
64- # $(git rev-parse HEAD) \
65- # $(cabal list-bin locli) || true
66- # cabal -v0 exec ${WB_FLAGS_CABAL} locli -- ${WB_FLAGS_RTS} "$@"
67-
68- cabal -v0 run ${WB_FLAGS_CABAL} exe:locli -- ${WB_FLAGS_RTS} " $@ "
64+ cabal -v0 run exe:locli " $@ "
6965}
7066
7167function tx-generator() {
72- cabal -v0 run ${WB_FLAGS_CABAL} exe:tx-generator -- ${WB_FLAGS_RTS} " $@ "
68+ cabal -v0 run exe:tx-generator " $@ "
7369}
7470
7571export WB_MODE_CABAL=t
0 commit comments