<div dir="ltr">Are you still planning to move compilationLib?<br></div><div class="gmail_extra"><br><div class="gmail_quote">On 21 March 2017 at 07:49, Ramana Kumar <span dir="ltr"><<a href="mailto:Ramana.Kumar@cl.cam.ac.uk" target="_blank">Ramana.Kumar@cl.cam.ac.uk</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Hi Magnus,<br>
<br>
As it says at the top of compilationLib.sml:<br>
(* TODO: this library is a stop-gap measure for compiling<br>
characteristic/examples. See issue #249. *)<br>
(<a href="https://github.com/CakeML/cakeml/issues/249" rel="noreferrer" target="_blank">https://github.com/CakeML/<wbr>cakeml/issues/249</a>)<br>
<br>
I don't think we've yet decided where this functionality should go.<br>
Perhaps a good place would be compiler/backend or<br>
compiler/backend/x64.<br>
<br>
I'd rather not put it in compiler/eval because we're trying to get rid<br>
of that directory, but that's another possibility... By the way, I<br>
think I might need Yong Kiam's help to move the eval/benchmarks and<br>
eval/other_benchmarks according to<br>
<a href="https://wiki.cakeml.org/Conventions#directory-structure" rel="noreferrer" target="_blank">https://wiki.cakeml.org/<wbr>Conventions#directory-<wbr>structure</a>.<br>
<br>
You can avoid the long build times by using Holmake --no_prereqs. Then<br>
Holmake won't recursively build the directories in your INCLUDES, but<br>
you can still access the Lib files there.<br>
<br>
Feel free to move compilationLib wherever you think is appropriate.<br>
Ideally try to make some progress on the issue above and/or on<br>
reaching a the directory structure above (or one that makes sense to<br>
you).<br>
<br>
Cheers,<br>
Ramana<br>
<div class="HOEnZb"><div class="h5"><br>
On 21 March 2017 at 07:23, Magnus Myreen <<a href="mailto:magnus.myreen@gmail.com">magnus.myreen@gmail.com</a>> wrote:<br>
> Hi Ramana (and dev),<br>
><br>
> I'm looking to compile a function in the logic using the CakeML<br>
> compiler. I wonder how this should be done. I'm hoping to follow the<br>
> examples in:<br>
><br>
>   cakeml/characteristic/<wbr>examples/compilation/<br>
><br>
> I'd like to use compilationLib, but it lives in the directory above<br>
> along with some long-running compilation examples. Could<br>
> compilationLib be moved so that one doesn't need to wait so long just<br>
> to get Holmake to finish? I have the path above in the INCLUDES of a<br>
> Holmakefile and it takes a long time to finish the build in the<br>
> directory which contains compilationLib.<br>
><br>
> The example I'm interested in will not be living in the directory above.<br>
><br>
> Cheers,<br>
> Magnus<br>
</div></div></blockquote></div><br></div>