summaryrefslogtreecommitdiff
path: root/gnu/packages/patches/ocaml-findlib-make-install.patch
Commit message (Expand)AuthorAgeFilesLines
* gnu: Remove unused patch 'ocaml-findlib-make-install.patch'.•••This is a followup to commit bff6739d5ea513417bb491a61aa276c4fb7ddd43. * gnu/packages/patches/ocaml-findlib-make-install.patch: Delete file. * gnu/local.mk (dist_patch_DATA): Remove it. Leo Famulari2019-02-051-20/+0
* gnu: Add ocaml-findlib.•••* gnu/packages/ocaml.scm (ocaml-findlib): New variable. * gnu/packages/patches/ocaml-findlib-make-install.patch: New file. * gnu-system.am (dist_patch_DATA): Register it. Jan Nieuwenhuizen2016-02-131-0/+20