coccinelle: update to 1.1.1p20240218.
No upstream release in over two years, needed for OCaml 5 support.
This commit is contained in:
parent
68ce2777dd
commit
633d944d67
|
@ -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 <congdanhqx@gmail.com>"
|
||||
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
|
||||
|
|
Loading…
Reference in New Issue