Christian Rinderknecht
|
d49e856ece
|
Forgot to remove gcc as a dependency so the docker image is smaller.
|
2020-04-14 11:51:24 +02:00 |
|
Rémi Lesenechal
|
8b83e375bd
|
Revert "Merge branch 'feature/adt-generator-poly-3' into 'dev'"
This reverts merge request !403
|
2020-02-11 10:45:08 +00:00 |
|
Suzanne Dupéron
|
7bad718135
|
Add missing dependency on Python 3
|
2020-02-10 20:40:43 +01:00 |
|
Pierre-Emmanuel Wulfman
|
f68e91466e
|
Make install script works on archlinux
|
2019-10-24 13:04:16 +00:00 |
|
Georges Dupéron
|
644d90be6d
|
Fix CI and Makefile (WIP)
|
2019-09-06 17:27:09 +02:00 |
|
John David Pressman
|
7413ac22d6
|
Add oneshell to makefile and fix filename bug in build env script
|
2019-06-08 15:19:47 -07:00 |
|
John David Pressman
|
512044c52b
|
Change first if conditional so upgrade q only asked if opam installed
|
2019-06-08 14:19:07 -07:00 |
|
John David Pressman
|
1592da58b7
|
Fix typos breaking first if conditional, syntax error
|
2019-06-08 12:13:06 -07:00 |
|
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
|
a1a61e64f9
|
Add execution permissions to new build scripts
|
2019-06-07 22:25:34 -07:00 |
|
John David Pressman
|
ed418bae71
|
Add temporary build environment setup script
|
2019-06-07 22:01:23 -07:00 |
|