<div dir="ltr">One other thing we have to do is to get the issue tracker in shape. I'm not decided on whether to set up an automated porting of Mantis issues into Github, or try to take the opportunity to select the relevant issues that we have a hope of solving and close the others. Option two sounds like much more work (and I have very little time to spend on this right now), so probably option one: automatic porting. Mantis easily gives a CSV datasheet for custom selections, so the game would be to automate the creation of issues on the github side.<br></div><div class="gmail_extra"><br><div class="gmail_quote">On Tue, Dec 15, 2015 at 11:05 AM, François Bobot <span dir="ltr"><<a href="mailto:francois.bobot@cea.fr" target="_blank">francois.bobot@cea.fr</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><span class="">On 13/12/2015 01:29, Ashish Agarwal wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
What's the next step on this? Gabriel, I can help if you'd like. I'm eager to get the repo created<br>
as I have several issues to report.<br>
</blockquote>
<br></span>
Sorry I forgot to populate the repo last week.<br>
<br>
It is now done. I couldn't follow the step given by Fabrice because I couldn't find the file copied, so I modified in my own way the Makefile of ocamlbuild so that it compiles alone.<br>
<br>
6a7311b74a639f77868f8c2d25d74c46763bee24<br>
<br>
It uses `$(ocamlc -where)/Makefile.config` so that it doesn't need a configure<br>
<br>
I reverted the addition of "*_ascii" so that we can test ocamlbuild with 4.02.3.<br>
<br>
62e9aeddcec2ae6658269ef057e3265aee11bdda<br>
<br>
There is many polishing to do, but the compilation infrastructure should work well enough for starting to contribute. I'm opening issues for the remaining tasks, travis being the main one.<br>
<br>
Best,<span class="HOEnZb"><font color="#888888"><br>
<br>
-- <br>
François<br>
</font></span></blockquote></div><br></div>