Seems to work
[rops.git] / front.sh
blob1f99d8f51568afc5de143bf9f83a21b1f568c2a7
1 #!/bin/bash
2 cat front.ml - | ocaml -noprompt | tee front.out | sed -n '/scheme_object.*=/,$ p' | sed -e 's/.*Types.scheme_object.*=//'