Hi Alex.
Thanks for all of your help. :) Yes, when it's done, GameTime will be
posted to that website.
Best,
Jon.
On 15 October 2013 01:12, Alex Susu <alex.s...@gmail.com> wrote:
> 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/ <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 <alex.s...@gmail.com <mailto:
>> alex.s...@gmail.com>> 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 <gabr...@kerneis.info
>> <mailto:gabr...@kerneis.info>
>> > <mailto:gabr...@kerneis.info <mailto:gabr...@kerneis.info>>**>
>> 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>
>> <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-users@lists.sourceforge.**net<CIL-users@lists.sourceforge.net><mailto:
>> CIL-users@lists.**sourceforge.net <CIL-users@lists.sourceforge.net>>
>>
>> >
>> https://lists.sourceforge.net/**lists/listinfo/cil-users<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>
>> <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-users@lists.sourceforge.**net
>> <CIL-users@lists.sourceforge.net><mailto:
>> CIL-users@lists.**sourceforge.net <CIL-users@lists.sourceforge.net>>
>>
>> https://lists.sourceforge.net/**lists/listinfo/cil-users<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=60135031&iu=/4140/ostg.clktrk
_______________________________________________
CIL-users mailing list
CIL-users@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/cil-users
