[CakeML-dev] Location of compilerLib
Ramana.Kumar at cl.cam.ac.uk
Fri Apr 21 04:32:27 UTC 2017
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. *)
> 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
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the Developers