Skip to content

Commit

Permalink
test(pkg): reproduce #11405
Browse files Browse the repository at this point in the history
Signed-off-by: Rudi Grinberg <[email protected]>

<!-- ps-id: 6f68050b-a79c-4ee2-989c-75502462ab58 -->
  • Loading branch information
rgrinberg committed Feb 1, 2025
1 parent 45d421f commit a5747e4
Showing 1 changed file with 44 additions and 0 deletions.
Original file line number Diff line number Diff line change
@@ -0,0 +1,44 @@
Demonstrate the handling of findlib directories that don't exist

Reproduces #11405

$ . ./helpers.sh

$ mkdir external_sources

$ cat >external_sources/META <<EOF
> package "sub" (
> directory = "sub"
> version = "0.0.1"
> exists_if = "sub.cma"
> )
> EOF

$ cat >external_sources/mypkg.install <<EOF
> lib: [
> "META"
> ]
> EOF

$ cat >dune-project <<EOF
> (lang dune 3.17)
> EOF

$ mkdir dune.lock

$ cat >dune.lock/lock.dune <<EOF
> (lang package 0.1)
> EOF

$ cat >dune.lock/mypkg.pkg <<EOF
> (version 0.0.1)
> (source (copy $PWD/external_sources))
> EOF

$ cat >dune <<EOF
> (executable
> (libraries mypkg.sub)
> (name foo))
> EOF

$ dune build foo.exe

0 comments on commit a5747e4

Please sign in to comment.