Re: [CIL users] New feature: CIL plugins

2013-10-20 Thread Jonathan Kotker
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 wrote: > Hi, Jonathan, > I hope Gabriel gave you the right answer - he seems to know more about > findlib than I do. > Will you be po

Re: [CIL users] New feature: CIL plugins

2013-10-15 Thread Alex Susu
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,

Re: [CIL users] New feature: CIL plugins

2013-10-15 Thread Jonathan Kotker
That did it! Thank you very much, Gabriel -- my beta-tester is able to install my software package, without having to install the Findlib module. To summarize, this is what I had to do -- and please correct me if I am mistaken somewhere: First, I compiled CIL and my modules into a directory, with

Re: [CIL users] New feature: CIL plugins

2013-10-12 Thread Gabriel Kerneis
On Fri, Oct 11, 2013 at 07:49:27PM -0700, Jonathan Kotker wrote: > Fatal error: exception Failure("Config file not found - neither > /usr/etc/findlib > .conf nor the directory /usr/etc/findlib.conf.d") I thought findlib would fail gracefully if there is no findlib.conf file, but it looks like I wa

Re: [CIL users] New feature: CIL plugins

2013-10-11 Thread Jonathan Kotker
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-py

Re: [CIL users] New feature: CIL plugins

2013-10-11 Thread Alex Susu
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 folde

Re: [CIL users] New feature: CIL plugins

2013-10-10 Thread Jonathan Kotker
Oh okay -- that means I should probably update to the latest version then, and see if that helps in any way. Thanks for the heads-up! On 10 October 2013 11:28, Gabriel Kerneis wrote: > On Thu, Oct 10, 2013 at 10:03:49AM -0700, Jonathan Kotker wrote: > > I used to use --load, but then one of my

Re: [CIL users] New feature: CIL plugins

2013-10-10 Thread Gabriel Kerneis
On Thu, Oct 10, 2013 at 10:03:49AM -0700, 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. I suspect the following happened: - cilly did not find the cma/cmxs (--load was buggy,

Re: [CIL users] New feature: CIL plugins

2013-10-10 Thread Jonathan Kotker
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 wrote: > On Thu, Oct 10, 2013 at 09:29:56AM -0700, Jonathan Kotker wrote: > > Since I am using Python to execu

Re: [CIL users] New feature: CIL plugins

2013-10-10 Thread Gabriel Kerneis
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

Re: [CIL users] New feature: CIL plugins

2013-10-10 Thread Jonathan Kotker
Brilliant, thank you very much for the detailed answers, Gabriel. 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 b

Re: [CIL users] New feature: CIL plugins

2013-10-09 Thread Gabriel Kerneis
On Wed, Oct 09, 2013 at 10:07:49AM -0700, Jonathan Kotker wrote: > Looking at your commands below, it looks like the 'MYLIBDIR' environment > variable is being hardwired to a location on my computer. Would this > transmute appropriately on other machines? Or does it not matter? So, all you need is

Re: [CIL users] New feature: CIL plugins

2013-10-09 Thread Jonathan Kotker
Thanks for the quick reply, Gabriel. Looking at your commands below, it looks like the 'MYLIBDIR' environment variable is being hardwired to a location on my computer. Would this transmute appropriately on other machines? Or does it not matter? Also, yes, I am using the bin/cilly Perl wrapper.

Re: [CIL users] New feature: CIL plugins

2013-10-09 Thread Gabriel Kerneis
On Tue, Oct 08, 2013 at 10:48:36PM -0700, Jonathan Kotker wrote: > I have another question regarding the new system of CIL plugins. Prior to > the current system, all I would have to do is distribute a compiled Cilly > driver (with the license, of course), with my plugins as part of the > compilati

Re: [CIL users] New feature: CIL plugins

2013-10-08 Thread Jonathan Kotker
Hi Gabriel. I have another question regarding the new system of CIL plugins. Prior to the current system, all I would have to do is distribute a compiled Cilly driver (with the license, of course), with my plugins as part of the compilation. Would it be possible to do so in the current system? It

Re: [CIL users] New feature: CIL plugins

2013-09-17 Thread Jonathan Kotker
Ah, sorry for the spam -- but it seems that due to differing versions of my code, I was accidentally running the version of the code that still had the batch file, so I spoke too soon. It turns out that I still need it. Oh well. :/ On 17 September 2013 14:18, Jonathan Kotker wrote: > With the he

Re: [CIL users] New feature: CIL plugins

2013-09-17 Thread Jonathan Kotker
With the help of Alex Susu, I found out a way within Python to call the Cilly driver directly, without having to resort to a batch file, so it looks like you don't have to add it, Gabriel. :) Thanks to everyone for all of the help. On 16 September 2013 21:29, Jonathan Kotker wrote: > Thanks, Ga

Re: [CIL users] New feature: CIL plugins

2013-09-16 Thread Jonathan Kotker
Thanks, Gabriel. I ended up having to rewrite the batch script to call the Cilly driver from within the Python script. I'm still not sure why I have to do this -- I suspect that it is because the `subprocess` module -- which allows Python to make system calls -- employs the Windows shell to make i

Re: [CIL users] New feature: CIL plugins

2013-09-16 Thread Jonathan Kotker
Thanks for the quick reply, Gabriel. I think the main issue seems to be that for some reason, I am not able to issue a command to run the Cilly executable from within the Python script. In prior versions, I was able to run the cilly.bat script. It could just be a problem with the Python script its

Re: [CIL users] New feature: CIL plugins

2013-09-16 Thread Gabriel Kerneis
On Mon, Sep 16, 2013 at 01:59:40PM -0700, Jonathan Kotker wrote: > Chances are that I may just have to write a replacement batch script for my > own purposes. For what it's worth, I got rid of cilly.bat and .exe extensions because they seemed unnecessary on modern Windows versions. But if anyone h

Re: [CIL users] New feature: CIL plugins

2013-09-16 Thread Gabriel Kerneis
On Mon, Sep 16, 2013 at 01:12:34PM -0700, Jonathan Kotker wrote: > Do you have any suggestions on why this might be the case, or how I might be > able to get the installation to generate a batch script or an executable? cilly.bat has indeed disappeared, but I have tested on cygwin the new pattern

Re: [CIL users] New feature: CIL plugins

2013-09-16 Thread Jonathan Kotker
Hi Gabriel. Thank you very much for pushing this new change to CIL through. I am currently trying to work with the new version of CIL and to re-integrate it into my research tool, but I find myself running into a few problems. In particular, the older version of CIL yielded a batch script (cilly.

Re: [CIL users] New feature: CIL plugins

2013-09-13 Thread Gabriel Kerneis
On Tue, Aug 27, 2013 at 04:57:36PM +0100, Gabriel Kerneis wrote: > I have just merged my work on CIL plugins into the "develop" branch of > the git repository. This is of interest to anybody who writes his own > CIL features (previously configured using EXTRA_FEATURES). Now fixed to work on Window

Re: [CIL users] New feature: CIL plugins

2013-09-05 Thread Gabriel Kerneis
On Tue, Aug 27, 2013 at 04:57:36PM +0100, Gabriel Kerneis wrote: > In the meantime, I have published a small "gist" containing a README and > a sample CIL plugin: > > https://gist.github.com/kerneis/6353215#file-readme-md If you are interested in a larger example, including the embedding of an

Re: [CIL users] New feature: CIL plugins

2013-09-04 Thread Gabriel Kerneis
Pietro, On Wed, Sep 04, 2013 at 05:55:23PM +0200, Pietro Braione wrote: > $ ocamlbuild -use-ocamlfind -package cil foo.cma foo.cmxs > + /usr/bin/ocamlfind ocamlc -c -package cil -o foo.cmo foo.ml > File "foo.ml", line 23, characters 10-27: > Error: Unbound module Simplemem > Command exited with co

Re: [CIL users] New feature: CIL plugins

2013-09-04 Thread Gabriel Kerneis
Hi Pietro, On Wed, Sep 04, 2013 at 05:55:23PM +0200, Pietro Braione wrote: > $ ocamlbuild -use-ocamlfind -package cil foo.cma foo.cmxs > + /usr/bin/ocamlfind ocamlc -c -package cil -o foo.cmo foo.ml > File "foo.ml", line 23, characters 10-27: > Error: Unbound module Simplemem > Command exited with

Re: [CIL users] New feature: CIL plugins

2013-09-04 Thread Pietro Braione
Il giorno 27/ago/2013, alle ore 17.57, Gabriel Kerneis ha scritto: > Dear all, > > I have just merged my work on CIL plugins into the "develop" branch of > the git repository. This is of interest to anybody who writes his own > CIL features (previously configured using EXTRA_FEATURES). This is

[CIL users] New feature: CIL plugins

2013-08-27 Thread Gabriel Kerneis
Dear all, I have just merged my work on CIL plugins into the "develop" branch of the git repository. This is of interest to anybody who writes his own CIL features (previously configured using EXTRA_FEATURES). The CIL documentation has not been updated yet. It will of course be updated before the