mirror of
https://github.com/c-cube/iter.git
synced 2025-12-06 11:15:32 -05:00
add prefix to opam file (close #11)
This commit is contained in:
parent
cdf43fd354
commit
d7fd225a73
1 changed files with 1 additions and 0 deletions
1
opam
1
opam
|
|
@ -8,6 +8,7 @@ build: [
|
|||
["./configure" "--disable-docs"
|
||||
"--%{delimcc:enable}%-invert"
|
||||
"--%{base-bigarray:enable}%-bigarray"
|
||||
"--prefix" "%{prefix}%"
|
||||
]
|
||||
[make "build"]
|
||||
]
|
||||
|
|
|
|||
Loading…
Add table
Reference in a new issue