diff options
Diffstat (limited to 'gnu/packages')
| -rw-r--r-- | gnu/packages/ocaml.scm | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index 79610e84bf..ec5757e87d 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -4333,9 +4333,7 @@ long and size_t whose sizes depend on the host platform.") "0ilzq9qzvwv9rc08cc9wchsx636zp870i7qvqmbigaa2qb812m0z")))) (build-system ocaml-build-system) (arguments - `(#:make-flags - (list (string-append "INSTALL_HEADERS = $(wildcard $($(PROJECT).dir)/*.h)")) - #:phases + `(#:phases (modify-phases %standard-phases (add-after 'unpack 'make-writable (lambda _ |