Sign Up
Log In
Log In
or
Sign Up
Places
All Projects
Status Monitor
Collapse sidebar
devel:languages:ocaml
ocaml-coq
ocaml-coq.patch
Overview
Repositories
Revisions
Requests
Users
Attributes
Meta
File ocaml-coq.patch of Package ocaml-coq
--- a/config/dune +++ b/config/dune @@ -22,4 +22,4 @@ plugin_list (env_var PWD) ; used in the fallback of COQ_CONFIGURE_PREFIX (env_var COQ_CONFIGURE_PREFIX)) - (action (chdir %{project_root} (run %{project_root}/tools/configure/configure.exe -no-ask)))) + (action (chdir %{project_root} (run %{project_root}/tools/configure/configure.exe -no-ask -libdir %{ocaml_where}/coq))))
Locations
Projects
Search
Status Monitor
Help
OpenBuildService.org
Documentation
API Documentation
Code of Conduct
Contact
Support
@OBShq
Terms
openSUSE Build Service is sponsored by
The Open Build Service is an
openSUSE project
.
Sign Up
Log In
Places
Places
All Projects
Status Monitor
