John David Pressman
|
0575176939
|
Make build env script more robust, take it out of makefile
|
2019-06-08 12:03:53 -07:00 |
|
John David Pressman
|
efb480a449
|
Fix typos/miscalls, minor tweaks
|
2019-06-08 01:57:32 -07:00 |
|
John David Pressman
|
e157e0527b
|
Change makefile to use preexisting setup scripts for docker and add new ones
|
2019-06-07 22:16:55 -07:00 |
|
John David Pressman
|
ff50c920d7
|
Add environmental variable setter to make test
|
2019-06-01 20:07:16 -07:00 |
|
John David Pressman
|
b604c3badf
|
Undo addition of source command to makefile build-deps
|
2019-06-01 02:06:44 -07:00 |
|
John David Pressman
|
0537d9e333
|
Remove question from opam user-setup installation, attempt to set opam env vars
|
2019-05-31 23:44:48 -07:00 |
|
John David Pressman
|
afa2722456
|
Change directory of make files
|
2019-05-31 22:32:23 -07:00 |
|