From: Alex S. <ale...@gm...> - 2013-10-15 08:12:25
|
Hi, Jonathan, I hope Gabriel gave you the right answer - he seems to know more about findlib than I do. Will you be posting the GameTime tool at http://uclid.eecs.berkeley.edu/gametime/ ? Best regards, Alex On 10/12/2013 11:04 AM, Gabriel Kerneis wrote: > On Fri, Oct 11, 2013 at 07:49:27PM -0700, Jonathan Kotker wrote: > > Try setting OCAMLFIND_CONF to the absolute path of a minimal findlib.conf file. > This file should contain the following two lines: > > path = "/absolute/path/to/mylibdir" > destdir = "/absolute/path/to/mylibdir" > > It is then not necessary anymore to set OCAMLPATH. Alternatively, if you prefer > to set OCAMLPATH dynamically, you can probably use: > > path = "" > destdir = "" On 10/12/2013 5:49 AM, Jonathan Kotker wrote: > Thanks for that suggestion, Alex. I will try that out. > > In the meantime, it seems as though a beta-tester is having a problem with the Cilly > compilation that I distributed. Here is the command that is being run: > > C:\gametime\gametime-1.0>perl /cygdrive/c/Python27/Lib/site-packages/gametime-1. > 0-py2.7.egg/gametime/cil/bin/cilly --dooneRet --domakeCFG --dosimpleMem --disall > owDuplication --noPrintLn --dopartial --partial_root_function=modexp_simple C:\g > ametime\gametime-1.0\demo\modexp_unrolled\modexp_simple-gt\modexp_simple-gt.c -I > 'C:\gametime\gametime-1.0\demo\modexp_unrolled' --save-temps='C:\gametime\gameti > me-1.0\demo\modexp_unrolled\modexp_simple-gt' -c -o 'C:\gametime\gametime-1.0\de > mo\modexp_unrolled\modexp_simple-gt\modexp_simple-gt.out' > > This is produced by calling the Cilly script with the same arguments, and after setting > the OCAMLPATH and CIL_FEATURES environment variables appropriately -- the latter is > defined to be 'cil.default-features'. However, the beta-tester obtains the following error > (he does not have findlib installed on his system): > > Fatal error: exception Failure("Config file not found - neither /usr/etc/findlib > .conf nor the directory /usr/etc/findlib.conf.d") > > Any idea what might be causing this? This also happens if the environment variables are > not set. > > Thanks for any help and suggestions, and for all that has been provided so far. > ~ Jon. > > > > > On 11 October 2013 04:18, Alex Susu <ale...@gm... <mailto:ale...@gm...>> wrote: > > Hi. > I am new to findlib and ocamlfind. I didn't manage to get my module linked into the > CIL executables with the new build system, so I started looking at the Makefile, more > specifically variables OCAMLFIND_DESTDIR and then CIL_DEFAULT_PLUGINS, which is used to > write in the main folder of CIL the META file. > Turns out that an easy way to specify (is this findlib standard?) to link a module > (as a default-features module) is to create in the folder of that module (e.g., > src/ext/zrapp) an empty file named "default". > Hope this helps :) > > If there's anything more to add please don't hesitate. > > Best regards, > Alex > > On 10/10/2013 8:03 PM, Jonathan Kotker wrote: > > I used to use --load, but then one of my beta-testers informed me that he seemed to > have > > needed findlib, which spawned off my question to you. > > > > > > On 10 October 2013 09:53, Gabriel Kerneis <ga...@ke... > <mailto:ga...@ke...> > > <mailto:ga...@ke... <mailto:ga...@ke...>>> wrote: > > > > On Thu, Oct 10, 2013 at 09:29:56AM -0700, Jonathan Kotker wrote: > > > Since I am using Python to execute the Cilly driver, I managed to find a > > > way to dynamically set the environment variable OCAMLPATH (albeit > > > temporarily) from within my Python script, and it works beautifully once > > > the OCaml code has been compiled. > > > > Glad it works for you. I realized later that you do not even need to > > use findlib at all: you can also use --load path/to/plugin.cmxs > > explicitly. The only downside is that you need to take care of loading > > dependencies in the correct order in that case (whereas findlib will > > figure it out, using META files). > > > > Best, > > -- > > Gabriel > > > > > > > > > > ------------------------------------------------------------------------------ > > October Webinars: Code for Performance > > Free Intel webinars can help you accelerate application performance. > > Explore tips for MPI, OpenMP, advanced profiling, and more. Get the most from > > the latest Intel processors and coprocessors. See abstracts and register> > > http://pubads.g.doubleclick.net/gampad/clk?id=60134071&iu=/4140/ostg.clktrk > <http://pubads.g.doubleclick.net/gampad/clk?id=60134071&iu=/4140/ostg.clktrk> > > > > > > > > _______________________________________________ > > CIL-users mailing list > > CIL...@li... <mailto:CIL...@li...> > > https://lists.sourceforge.net/lists/listinfo/cil-users > > ------------------------------------------------------------------------------ > October Webinars: Code for Performance > Free Intel webinars can help you accelerate application performance. > Explore tips for MPI, OpenMP, advanced profiling, and more. Get the most from > the latest Intel processors and coprocessors. See abstracts and register > > http://pubads.g.doubleclick.net/gampad/clk?id=60134071&iu=/4140/ostg.clktrk > <http://pubads.g.doubleclick.net/gampad/clk?id=60134071&iu=/4140/ostg.clktrk> > _______________________________________________ > CIL-users mailing list > CIL...@li... <mailto:CIL...@li...> > https://lists.sourceforge.net/lists/listinfo/cil-users > > |