[Dune] Dune on cygwin
Christoph GrĂ¼ninger
christoph.grueninger at iws.uni-stuttgart.de
Mon Feb 9 11:52:02 CET 2015
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
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 819 bytes
Desc: OpenPGP digital signature
URL: <https://lists.dune-project.org/pipermail/dune/attachments/20150209/3309c3e0/attachment.sig>
More information about the Dune
mailing list