summaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAgeFilesLines
* dev-ml/num: fix install with -ocamloptAlfredo Tupone2022-01-191-0/+12
| | | | | | Closes: https://bugs.gentoo.org/831496 Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/num: respect ocamloptAlfredo Tupone2022-01-121-0/+15
| | | | | | Closes: https://bugs.gentoo.org/822321 Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/num: use CFLAGSAlfredo Tupone2020-05-211-0/+11
Closes: https://bugs.gentoo.org/723748 Package-Manager: Portage-2.3.99, Repoman-2.3.22 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>