Build src/ libraries from top-level dune or dune-project #5979
Replies: 7 comments
-
Do you tried to not add the dune file at the root and use |
Beta Was this translation helpful? Give feedback.
-
I have the following
Where should I define |
Beta Was this translation helpful? Give feedback.
-
It is not clear to me what is your exact use case but you can ask Dune to build a specific library by specifying the correct You can also use an alias to group the |
Beta Was this translation helpful? Give feedback.
-
Yes, we use an alias as mentioned here:
Source: https://github.com/stedolan/sandmark/blob/dunemark/Makefile#L4 But, the Irmin sources have multiple sub-packages, so I am not sure how to build them from a |
Beta Was this translation helpful? Give feedback.
-
@shakthimaan you have several targets available for packages, usually [Also note that this will build in dev mode which is not what you want for real use] |
Beta Was this translation helpful? Give feedback.
-
@shakthimaan were you able to achieve your goal ? |
Beta Was this translation helpful? Give feedback.
-
No. We are continuing to use |
Beta Was this translation helpful? Give feedback.
-
In
Irmin
src/, we have libraries such asirmin-mem
,irmin-git
,irmin-fs
etc. I can build them from the command-line using:But, I would like to build the above from a Makefile using a
dune build @target
. I tried creating airmin/dune
file with the following:But, I get this error:
Where and how should I specify these libraries to be able to build them?
Reference:
Beta Was this translation helpful? Give feedback.
All reactions