[Dune] Installation problem and some doubts

[Oliver Sander]

Hi Daniel,

> I am trying to install DUNE
> in a virtual box with Ubuntu 18.04.2 LTS as OS.
> I am installing  DUNE using the guidelines given in the 3 option,
> instillation from source via a shell script (
> https://www.dune-project.org/doc/beginners-resources-script/).

BTW, are you aware that large parts of Dune are actually packaged
for Ubuntu 18.04?

  https://dune-project.org/binary/

No need for arcane shell scripts. :-)

Best regards,
Oliver

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 488 bytes
Desc: OpenPGP digital signature
URL: <https://lists.dune-project.org/pipermail/dune/attachments/20190320/56d3e7a2/attachment.sig>