Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
Browse files

Fix installation of OPAM when installing from opam

  • Loading branch information...
commit c6e594816ff6b6789682bc875a90d727a40b5dee 1 parent 576e19e
@samoht samoht authored
Showing with 2 additions and 2 deletions.
  1. +2 −2 depends.ocp.in
View
4 depends.ocp.in
@@ -32,13 +32,13 @@ begin library "arg"
end
begin library "cudf"
- dirname = "%{lib}%/mancoosi-cudf"
+ dirname = "%{lib}%/cudf"
generated = true
requires = [ "extLib" ]
end
begin library "dose"
- dirname = "%{lib}%/mancoosi-dose"
+ dirname = "%{lib}%/dose"
generated = true
requires = [ "re_pcre" "extLib" "cudf" "graph" "unix" "str" ]
end
Please sign in to comment.
Something went wrong with that request. Please try again.