@@ -33,45 +33,46 @@ 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+ # Executables with profiling support.
37+ for exe in cardano-nod cardano-tracer tx-generator locli
3738 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
39+ verbose " exec" " cabal build ${WB_FLAGS_CABAL} -- exe:$exe "
40+ cabal $( test -z " ${verbose:- } " && echo ' -v0' ) build ${WB_FLAGS_CABAL} -- exe:$exe || return 1
41+ done
42+ # Executables without profiling support.
43+ for exe in cardano-profile cardano-topology
44+ do echo " workbench: $( blue prebuilding) $( red $exe ) "
45+ verbose " exec" " cabal build -- exe:$exe "
46+ cabal $( test -z " ${verbose:- } " && echo ' -v0' ) build -- exe:$exe || return 1
4047 done
4148 echo
4249 eval $restore_trace
4350}
4451
4552function cardano-node() {
46- ${WB_NODE_EXECPREFIX} cabal -v0 run ${WB_FLAGS_CABAL} exe:cardano-node -- ${WB_FLAGS_RTS} " $@ "
53+ ${WB_NODE_EXECPREFIX} cabal -v0 run ${WB_FLAGS_CABAL} exe:cardano-node -- ${WB_FLAGS_RTS} " $@ "
4754}
4855
49- function cardano-profile () {
50- cabal -v0 run ${WB_FLAGS_CABAL} exe:cardano-profile -- ${WB_FLAGS_RTS} " $@ "
56+ function cardano-tracer () {
57+ ${WB_NODE_EXECPREFIX} cabal -v0 run ${WB_FLAGS_CABAL} exe:cardano-tracer -- ${WB_FLAGS_RTS} " $@ "
5158}
5259
53- function cardano-topology () {
54- cabal -v0 run ${WB_FLAGS_CABAL} exe:cardano-topology -- ${WB_FLAGS_RTS} " $@ "
60+ function locli () {
61+ ${WB_NODE_EXECPREFIX} cabal -v0 run ${WB_FLAGS_CABAL} exe:locli -- ${WB_FLAGS_RTS} " $@ "
5562}
5663
57- function cardano-tracer () {
58- cabal -v0 run ${WB_FLAGS_CABAL} exe:cardano-tracer -- ${WB_FLAGS_RTS} " $@ "
64+ function tx-generator () {
65+ ${WB_NODE_EXECPREFIX} cabal -v0 run ${WB_FLAGS_CABAL} exe:tx-generator -- ${WB_FLAGS_RTS} " $@ "
5966}
6067
61- function 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} " $@ "
68+ function cardano-profile() {
69+ cabal -v0 run exe:cardano-profile " $@ "
6970}
7071
71- function tx-generator () {
72- cabal -v0 run ${WB_FLAGS_CABAL} exe:tx-generator -- ${WB_FLAGS_RTS} " $@ "
72+ function cardano-topology () {
73+ cabal -v0 run exe:cardano-topology " $@ "
7374}
7475
7576export WB_MODE_CABAL=t
7677
77- export -f cardano-node cardano-profile cardano-topology cardano- tracer locli tx-generator
78+ export -f cardano-node cardano-tracer locli tx-generator cardano-profile cardano-topology
0 commit comments