23 Commits

Author	SHA1	Message	Date
Rob Rix	a45de13034	Build the benchmarks’ dependencies.	2019-12-20 10:44:28 -05:00
Rob Rix	935fe94381	Build the tests’ dependencies.	2019-12-20 10:44:16 -05:00
Rob Rix	537f3c38da	Move the cabal build call into script/repl. ... Doing it in script/ghci-flags means it has to be silent, which is super confusing/surprising. Doing it in script/repl means we can see what it’s up to.	2019-12-20 10:44:02 -05:00
Rob Rix	e12af54e84	📝 the exec call.	2019-12-18 09:17:08 -05:00
Rob Rix	cbb45e4154	Disallow customizing the build dir.	2019-12-18 09:00:23 -05:00
Rob Rix	be39dae6a0	Quote paths when changing directories.	2019-12-18 09:00:13 -05:00
Rob Rix	3621ab3924	Build dependencies before getting the flags.	2019-12-18 08:58:19 -05:00
Rob Rix	abcca95a54	Rename .ghci.semantic to .ghci.repl.	2019-12-18 08:55:27 -05:00
Rob Rix	183917ca8e	Run script/repl in dist-newstyle.	2019-12-17 17:43:31 -05:00
Rob Rix	66b714b5b9	Unset the environment file var.	2019-12-17 17:31:23 -05:00
Rob Rix	7584af304c	Build the dependencies before loading the repl.	2019-12-17 17:06:45 -05:00
Rob Rix	e13e4c46a4	Use the forward-compatible prefix.	2019-12-17 16:55:50 -05:00
Rob Rix	e0a5334395	Quote the path.	2019-12-17 16:55:40 -05:00
Rob Rix	88545759fc	Don’t ignore .ghci when using script/repl.	2019-11-01 11:59:30 -04:00
Rob Rix	09568bdbd5	Use script/ghci-flags from script/repl.	2019-11-01 11:59:04 -04:00
Rob Rix	51884e68dd	Fix a typo.	2019-11-01 09:10:49 -04:00
Rob Rix	733a0a4628	Revert "Build both static & dynamic files so we don’t have to live in a separate build dir." ... This reverts commit 47b0dac3d8.	2019-10-30 16:34:16 -04:00
Rob Rix	47b0dac3d8	Build both static & dynamic files so we don’t have to live in a separate build dir.	2019-10-30 16:25:57 -04:00
Rob Rix	abd8216865	$0	2019-10-30 16:11:33 -04:00
Rob Rix	d99fe09cdb	Usage for script/repl.	2019-10-30 16:08:42 -04:00
Rob Rix	b74256fb85	Move the .ghci file so it doesn’t affect cabal repl.	2019-10-30 16:05:22 -04:00
Rob Rix	08f10ee16d	Add some setup instructions.	2019-10-30 15:59:30 -04:00
Rob Rix	73badce74d	Add a script to run ghci.	2019-10-30 15:18:43 -04:00