69 Commits

Author	SHA1	Message	Date
Patrick Thomson	c78529d061	Add script to fix corrupted tree-sitter Cabal stores.	2019-12-12 15:12:13 -05:00
Patrick Thomson	34f14abdb5	Merge remote-tracking branch 'origin/master' into release-0.9.0.0	2019-11-07 14:10:33 -05:00
Patrick Thomson	9855903e1f	Merge pull request #377 from github/sha-sha-sha-cha-cha-cha ... Embed SHA in Docker builds by passing it in as an environment variable.	2019-11-07 13:59:28 -05:00
Rob Rix	cef6893a73	Merge pull request #374 from github/multi-component-ghcide-setup ... Multi component ghcide setup	2019-11-07 13:32:20 -05:00
Timothy Clem	8f4d405070	Various versions of sed and prompt before push	2019-11-07 10:00:01 -08:00
Timothy Clem	cd92228d1e	Merge remote-tracking branch 'origin/master' into sha-sha-sha-cha-cha-cha	2019-11-07 09:25:07 -08:00
Timothy Clem	1ab38e297a	Try a different approach for embedding the git commit sha	2019-11-06 16:20:14 -08:00
Patrick Thomson	52d021bcd6	First attempt.	2019-11-01 14:40:07 -04:00
Rob Rix	7662ee75f1	Take care not to load semantic-source twice.	2019-11-01 13:44:57 -04:00
Rob Rix	110b1b69e8	Make the output dirs relative to the ghc version.	2019-11-01 12:02:12 -04:00
Rob Rix	8ef9e1434e	Make the output dirs relative to the builddir.	2019-11-01 12:01:42 -04:00
Rob Rix	d41961f193	Move the build products dirs into script/ghci-flags.	2019-11-01 12:01:14 -04: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	978beb7a11	Revert "Echo any remaining args." ... This reverts commit fbe02dab64.	2019-11-01 11:52:32 -04:00
Rob Rix	fbe02dab64	Echo any remaining args.	2019-11-01 11:50:51 -04:00
Rob Rix	e6fc10b293	Work relative to a builddir.	2019-11-01 11:50:45 -04:00
Rob Rix	c9cbc83ae3	Don’t forget app.	2019-11-01 11:38:41 -04:00
Rob Rix	90bf61dede	Warnings are warnings.	2019-11-01 11:35:35 -04:00
Rob Rix	3f69e09314	Enable strict data, in case it ever matters.	2019-11-01 11:35:07 -04:00
Rob Rix	2a13455080	Merge pull request #373 from github/multi-component-repl ... Multi component repl	2019-11-01 11:19:23 -04:00
Rob Rix	547617a3b9	Add a script to compute the files to watch for changes to the packages.	2019-11-01 11:16:30 -04:00
Rob Rix	b2c8fd92da	Don’t pass --interactive.	2019-11-01 11:05:06 -04:00
Rob Rix	ddff669740	Run the rest of it out of the cabal exec.	2019-11-01 11:02:44 -04:00
Rob Rix	35270bedde	Gather all the flags.	2019-11-01 11:01:17 -04:00
Rob Rix	4e17878d01	Stub in a script to return the flags for ghci.	2019-11-01 10:32:24 -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
Patrick Thomson	65c42cb322	Bump version to 0.9.0.0.	2019-10-30 10:56:52 -04:00
Rob Rix	6a4057902c	v2-.	2019-10-30 08:42:28 -04:00
Timothy Clem	85bf7e72ec	Use tclem/proto-lens-jsonpb	2019-10-02 13:14:16 -07:00
Timothy Clem	d678f5b26b	Merge remote-tracking branch 'origin/master' into proto-lens	2019-09-30 15:42:58 -07:00
Timothy Clem	c0a53e957d	Bump to newer version of proto-lens	2019-09-30 15:26:45 -07:00
Patrick Thomson	ae56dbe26a	Bump the version in the publish script too.	2019-09-30 17:00:48 -04:00
Timothy Clem	cb111b83ec	Keep this version in sync	2019-09-20 09:39:37 -07:00
Rob Rix	014d04d877	Move npm up.	2019-09-17 13:33:16 -04:00
Rob Rix	b118a898fe	Don’t clone examples we aren’t going to run against.	2019-09-17 13:32:37 -04:00
Rob Rix	67b4782659	Correct the cloning script.	2019-09-17 13:31:20 -04:00
Patrick Thomson	fb1b145bd7	Add script to simplify profiling. ... This script is useful in that it takes care of remembering past results and imvoking profiteur/hp2pretty/etc. We had this back in the day, but it didn't make the transition to the new repository.	2019-08-12 15:03:08 -04:00
Timothy Clem	d721aadf12	Get versions to line up	2019-08-01 09:48:13 -06:00
Timothy Clem	7b44a6a24e	Repeatable code gen from proto	2019-07-05 15:11:33 -07:00
Patrick Thomson	2d4c889011	Add script/bootstrap file. ... Fixes #135.	2019-06-17 13:23:05 -04:00
Timothy Clem	e7084c5398	Merge branch 'master' into build-docker-image	2019-06-11 14:45:15 -07:00
Patrick Thomson	32a581f31a	More robust example parsing.	2019-06-11 14:54:48 -04:00