[CakeML-dev] Location of compilerLib

Ramana Kumar Ramana.Kumar at cl.cam.ac.uk
Mon Mar 20 20:49:48 UTC 2017

Hi Magnus,

As it says at the top of compilationLib.sml:
(* TODO: this library is a stop-gap measure for compiling
characteristic/examples. See issue #249. *)

I don't think we've yet decided where this functionality should go.
Perhaps a good place would be compiler/backend or

I'd rather not put it in compiler/eval because we're trying to get rid
of that directory, but that's another possibility... By the way, I
think I might need Yong Kiam's help to move the eval/benchmarks and
eval/other_benchmarks according to

You can avoid the long build times by using Holmake --no_prereqs. Then
Holmake won't recursively build the directories in your INCLUDES, but
you can still access the Lib files there.

Feel free to move compilationLib wherever you think is appropriate.
Ideally try to make some progress on the issue above and/or on
reaching a the directory structure above (or one that makes sense to


On 21 March 2017 at 07:23, Magnus Myreen <magnus.myreen at gmail.com> wrote:
> Hi Ramana (and dev),
> I'm looking to compile a function in the logic using the CakeML
> compiler. I wonder how this should be done. I'm hoping to follow the
> examples in:
>   cakeml/characteristic/examples/compilation/
> I'd like to use compilationLib, but it lives in the directory above
> along with some long-running compilation examples. Could
> compilationLib be moved so that one doesn't need to wait so long just
> to get Holmake to finish? I have the path above in the INCLUDES of a
> Holmakefile and it takes a long time to finish the build in the
> directory which contains compilationLib.
> The example I'm interested in will not be living in the directory above.
> Cheers,
> Magnus

More information about the Developers mailing list