diff options
Diffstat (limited to 'dev-ml/ocplib-simplex')
| -rw-r--r-- | dev-ml/ocplib-simplex/ocplib-simplex-0.4.1.ebuild | 6 |
1 files changed, 1 insertions, 5 deletions
diff --git a/dev-ml/ocplib-simplex/ocplib-simplex-0.4.1.ebuild b/dev-ml/ocplib-simplex/ocplib-simplex-0.4.1.ebuild index 5eb51f246ca3..65dfd5ab261b 100644 --- a/dev-ml/ocplib-simplex/ocplib-simplex-0.4.1.ebuild +++ b/dev-ml/ocplib-simplex/ocplib-simplex-0.4.1.ebuild @@ -1,4 +1,4 @@ -# Copyright 1999-2023 Gentoo Authors +# Copyright 1999-2024 Gentoo Authors # Distributed under the terms of the GNU General Public License v2 EAPI=7 @@ -19,10 +19,6 @@ PATCHES=( "${FILESDIR}"/${PN}-0.4-flags.patch ) -QA_FLAGS_IGNORED=( - /usr/lib64/ocaml/ocplib-simplex/ocplibSimplex.cmxs -) - src_prepare() { default mv configure.{in,ac} || die |