[CakeML-dev] Location of compilerLib

[Ramana Kumar]

Are you still planning to move compilationLib?

On 21 March 2017 at 07:49, Ramana Kumar <Ramana.Kumar at cl.cam.ac.uk> wrote:

> 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. *)
> (https://github.com/CakeML/cakeml/issues/249)
>
> I don't think we've yet decided where this functionality should go.
> Perhaps a good place would be compiler/backend or
> compiler/backend/x64.
>
> 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
> https://wiki.cakeml.org/Conventions#directory-structure.
>
> 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
> you).
>
> Cheers,
> Ramana
>
> 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
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.cakeml.org/pipermail/developers/attachments/20170421/e7dad66a/attachment.html>