8c273aa0fa
For now, do it relatively unsafe (you may have to delete the `dist-newstyle` folder and then rebuild if there may be multiple executables found under `dist-newstyle`—e.g. from different GHC versions—as this is not handled correctly by the script).
19 lines
484 B
Plaintext
Executable File
19 lines
484 B
Plaintext
Executable File
#! /usr/bin/env nix-shell
|
|
#! nix-shell -i fish -p fish feedgnuplot
|
|
|
|
set exe (fd --type f '^haga$' dist-newstyle/)
|
|
|
|
"$exe" $argv | \
|
|
# dist-newstyle/build/x86_64-linux/ghc-8.6.5/ga-0.1.0.0/x/ga/build/ga/ga $argv | \
|
|
feedgnuplot \
|
|
--terminal "x11 background '#ffffff'" \
|
|
--domain \
|
|
--stream \
|
|
--lines \
|
|
--xmax 12000 \
|
|
--xmin 0 \
|
|
--xlabel "step" \
|
|
--ylabel "cost" \
|
|
--extracmd "set style line 5 lt rgb 'red' lw 2 pt 6" \
|
|
--style 0 "ls 5"
|