115 Commits

Author	SHA1	Message	Date
Ian A Mason	7d6907d408	LogFatal is a bad idea... Still have yices configure issues. But ...	2017-07-21 10:23:23 -07:00
Ian A. Mason	c0740ce4a7	Prevemt gsanity insanity.	2017-07-20 16:11:44 -07:00
Loïc Gelle	483f709796	change environment variable names	2017-07-14 10:47:56 -07:00
Ian A. Mason	37af8fee67	make sure gsanity-check returns an informative exit code, so we can rely on it in tests.	2017-07-13 08:57:15 -07:00
Ian A. Mason	ff3f76acd0	neatness is next to godliness (said someone with OCD)	2017-07-11 13:01:46 -07:00
Ian A. Mason	7629fa220a	Finished the sanity checker. Getting ready to revert to a uniform API with wllvm. Maybe via the issue mechanism.	2017-07-11 10:52:05 -07:00
Ian A. Mason	4ff5865d27	stylistic changes, plus still need to track down the SIGSEGV in the llvm-link.	2017-07-10 13:11:46 -07:00
Ian A. Mason	7f88d84b23	sanity checker ported too.	2017-07-10 13:01:21 -07:00
Ian A. Mason	7962ec6e99	Still have to figure out how to pass -s to the emacs go-mode hook.	2017-07-05 17:48:40 -07:00
Ian A. Mason	562983793a	Documenting the exported routines.	2017-07-05 17:42:55 -07:00
Loïc Gelle	0cf14152fe	fix print only case	2017-07-05 12:52:06 -07:00
Ian A. Mason	09ffb6d8e4	Don't do extra work if the first phase failed.	2017-07-05 11:25:20 -07:00
Ian A. Mason	c68cb2ed5a	Simplifying(?) the archiver and linker logic in 'get-bc'	2017-07-05 11:10:32 -07:00
Ian A. Mason	f75508a3a2	Now we use go's flags to parse the 'get-bc' command line. Not really impressed with flags. No long forms.	2017-07-05 11:00:07 -07:00
Ian A. Mason	16cddf6fc9	Wonderful (not) adventures in multi-binary go projects.	2017-07-05 08:14:11 -07:00