12 Commits

Author	SHA1	Message	Date
Iavor Diatchki	38471c0cbc	Update utility script to use cabal exec	2020-01-21 10:56:09 -08:00
Aaron Tomb	21e49459df	Move --allow-newer flag to CI scripts, not cry	2019-10-28 13:49:45 -07:00
Aaron Tomb	588e5bbe59	Be less verbose during cabal v2-configure	2019-10-24 14:37:37 -07:00
Aaron Tomb	10f1dfdacf	Move --allow-newer in cry script	2019-10-23 16:37:10 -07:00
Aaron Tomb	17aeccb7ff	Add --allow-newer to cry script	2019-10-23 10:24:34 -07:00
Iavor Diatchki	706e8e2b7f	Arguments after are for cryptol.	2019-03-29 10:26:34 -07:00
Iavor Diatchki	fd67463b2b	Add a hacky way to get local executable path	2019-02-12 14:38:17 -08:00
Iavor Diatchki	72a57bfff9	Fix script to use generic runner	2019-01-24 16:44:15 -08:00
Iavor Diatchki	4dae9dadcd	Add some comments explaining the hackery	2019-01-08 17:18:45 -08:00
Iavor Diatchki	47d118ecf5	A TEMPORARY hack to force rebuilding GitRev.hs so we get the correct hashes.	2019-01-08 17:14:53 -08:00
Iavor Diatchki	d331d16128	Add a command to run the locally built Cryptol	2019-01-03 11:10:29 -08:00
Iavor Diatchki	2bd9d3aecf	A Bash script to automate common cabal (v2) tasks	2018-12-12 16:59:00 -08:00