diff --git a/srcpkgs/coccinelle/template b/srcpkgs/coccinelle/template index 20faebd1e0a..c63fa20be18 100644 --- a/srcpkgs/coccinelle/template +++ b/srcpkgs/coccinelle/template @@ -1,9 +1,10 @@ # Template file for 'coccinelle' pkgname=coccinelle -version=1.1.1 +version=1.1.1p20240218 revision=1 +_gitrev=68c580f1f1abf9979d591371e5b2e474f97dac90 build_style=gnu-configure -configure_args="--without-pdflatex --enable-release --enable-opt +configure_args="--without-pdflatex --enable-release --with-python=/usr/bin/python3" hostmakedepends="python3 automake libtool ocaml" makedepends="ocaml ocaml-findlib ocaml-num ocaml-stdcompat @@ -12,10 +13,16 @@ short_desc="Program matching and transformation engine" maintainer="Đoàn Trần Công Danh " license="GPL-2.0-only" homepage="https://coccinelle.gitlabpages.inria.fr/website/" -distfiles="https://github.com/coccinelle/coccinelle/archive/refs/tags/$version.tar.gz" -checksum=095919e129ac563586d880ebbc5aac829fec224177090aebe34dc34ed5f142bf +distfiles="https://github.com/coccinelle/coccinelle/archive/${_gitrev}.tar.gz" +checksum=bdda73a6827d1c2e5f85bafa25a0d03810298c0653ebd40a1eceaf6ca2cd72c0 disable_parallel_build=yes nocross=yes +make_check=ci-skip # broken out of the box + +case "$XBPS_TARGET_MACHINE" in + x86_64*|aarch64*|riscv64*) ;; + *) broken="bundled mehir wants ocamlopt";; +esac pre_configure() { autoreconf -fi