[Dune] Dune on cygwin
Ganesh Diwan
gcdiwan83 at gmail.com
Mon Feb 9 12:06:54 CET 2015
Hi Christoph
What is your working directory? You should be in the same directory
> where you call dunecontrol as duneproject shares the code for finding
> the modules.
>
My working directory is /cygdrive/z/project
I am not sure I understand this. Can I not invoke duneproject in my working
directory by providing full path to the duneproject script. This is how I
invoke it on my Ubuntu machine. Apologies if I misunderstood this but Dune
suggests I edit a PATH somewhere so that it knows where the modules are.
No, "make test" tests the module whether it runs correctly. This reveals
> issues, that might bite you later.
>
Should I not fix this then :) ?
Thanks,
Ganesh
On Mon, Feb 9, 2015 at 10:52 AM, Christoph GrĂ¼ninger <
christoph.grueninger at iws.uni-stuttgart.de> wrote:
> Hi Ganesh,
> great news that you successfully built the modules.
>
> > Probably "make test" needs to be successful before I can create a
> > project.
>
> No, "make test" tests the module whether it runs correctly. This reveals
> issues, that might bite you later.
>
> > Not sure if this is of any help but I think I might have missed
> > providing a correct path in some step. When I try to create a project, I
> > have
> > $/cygdrive/c/LocalApp/local/dune2.3.1/dune-common-2.3.1/bin/duneproject
>
> What is your working directory? You should be in the same directory
> where you call dunecontrol as duneproject shares the code for finding
> the modules. Call duneproject from there.
>
> Bye
> Christoph
>
> --
> GDB does hate your application, expresses its contempt through the
> design of its command-line interface. -- Tom Tromey, FOSDEM 2014
>
>
> _______________________________________________
> Dune mailing list
> Dune at dune-project.org
> http://lists.dune-project.org/mailman/listinfo/dune
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.dune-project.org/pipermail/dune/attachments/20150209/7fb7b918/attachment.htm>
More information about the Dune
mailing list