diff options
| author | Jakub Jirutka <jakub@jirutka.cz> | 2018-03-08 23:20:05 +0100 |
|---|---|---|
| committer | Jakub Jirutka <jakub@jirutka.cz> | 2018-03-10 02:17:25 +0100 |
| commit | 9de2798b4552d9fd1596c832321bb25496d85511 (patch) | |
| tree | 162fda2850cf7118412c99c0b39e0933261f4879 /community/ocaml | |
| parent | 9a8549096f6aaf6411cce85ed32dd13e638339a4 (diff) | |
| download | aports-9de2798b4552d9fd1596c832321bb25496d85511.tar.bz2 aports-9de2798b4552d9fd1596c832321bb25496d85511.tar.xz | |
community/ocaml: remove annotation files (.cmt and .cmti)
Diffstat (limited to 'community/ocaml')
| -rw-r--r-- | community/ocaml/APKBUILD | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/community/ocaml/APKBUILD b/community/ocaml/APKBUILD index ba038bcb86..e17f8b7e74 100644 --- a/community/ocaml/APKBUILD +++ b/community/ocaml/APKBUILD @@ -46,10 +46,13 @@ package() { LIBDIR="$pkgdir"/usr/lib/ocaml \ MANDIR="$pkgdir"/usr/share/man + # Remove annotation files and sources. + find "$pkgdir"/usr/lib/ocaml \ + \( -name '*.cmt' -o -name '*.cmti' -o -name '*.ml' \) \ + -a -delete + install -Dm644 LICENSE "$pkgdir"/usr/share/licenses/$pkgname/LICENSE install -Dm644 Changes "$pkgdir"/usr/share/doc/$pkgname/Changes - - find "$pkgdir"/usr/lib/ocaml -name \*.ml -delete } sha512sums="42560874ce363212fa4e862138d7260113bc8dff8b39c040332bbd9b039ba938788344ba8ce63ffc0a251bf21a6e493f3c1e505b6f51db6fec4d21578921060e ocaml-4.06.1.tar.gz |