Ekdohibs
|
0a365052bb
|
Fix Makefile to compile dependencies
|
2019-06-12 14:03:42 +02:00 |
|
Ekdohibs
|
f3cdf68f11
|
Fix incorrect location of dynlink.mli in Makefile
|
2019-06-12 13:54:40 +02:00 |
|
Ekdohibs
|
0f7df4fd14
|
Fix a few errors in the ocamlc compile script
|
2019-06-08 22:13:35 +02:00 |
|
Ekdohibs
|
1c0c729c96
|
Add script to compile ocamlc
|
2019-06-08 16:43:41 +02:00 |
|
Gabriel Scherer
|
0385b37172
|
fix minor Makefile bug
|
2019-06-01 17:45:53 +02:00 |
|
Ekdohibs
|
63223672bf
|
Allow compilation with ocamlopt
|
2018-09-23 21:34:49 +02:00 |
|
Ekdohibs
|
cdf32f1b47
|
Able to compile stdlib, and probably compiler itself
|
2018-09-23 21:28:44 +02:00 |
|