Date: Mon, 1 Apr 2024 11:43:39 GMT From: Rene Ladan <rene@FreeBSD.org> To: ports-committers@FreeBSD.org, dev-commits-ports-all@FreeBSD.org, dev-commits-ports-main@FreeBSD.org Subject: git: 242ed9649a12 - main - devel/cil: Remove expired port Message-ID: <202404011143.431BhdmA060998@gitrepo.freebsd.org>
next in thread | raw e-mail | index | archive | help
The branch main has been updated by rene: URL: https://cgit.FreeBSD.org/ports/commit/?id=242ed9649a12c48b91451febeb54040d2b56253c commit 242ed9649a12c48b91451febeb54040d2b56253c Author: Rene Ladan <rene@FreeBSD.org> AuthorDate: 2024-04-01 11:43:17 +0000 Commit: Rene Ladan <rene@FreeBSD.org> CommitDate: 2024-04-01 11:43:17 +0000 devel/cil: Remove expired port 2024-03-31 devel/cil: Unmaintained upstream due to lack of time --- MOVED | 1 + devel/Makefile | 1 - devel/cil/Makefile | 95 ----------------------------- devel/cil/distinfo | 2 - devel/cil/files/patch-ocamlutil_errormsg.ml | 25 -------- devel/cil/files/patch-ocamlutil_pretty.ml | 43 ------------- devel/cil/files/patch-src_cil.ml | 23 ------- devel/cil/files/patch-src_formatlex.mll | 17 ------ devel/cil/pkg-descr | 10 --- 9 files changed, 1 insertion(+), 216 deletions(-) diff --git a/MOVED b/MOVED index c90e4c8c61bf..dd6531684919 100644 --- a/MOVED +++ b/MOVED @@ -3119,3 +3119,4 @@ java/netcomponents||2024-04-01|Has expired: Last upstream release was in 2000 an devel/upslug||2024-04-01|Has expired: Utility for a NAS released in 2004 and discontinued in 2008 security/py-sslyze||2024-04-01|Has expired: It does not support OpenSSL 3.0+ security/py-nassl||2024-04-01|Has expired: It does not support OpenSSL 3.0+ +devel/cil||2024-04-01|Has expired: Unmaintained upstream due to lack of time diff --git a/devel/Makefile b/devel/Makefile index 8184995bc64a..d224e3dd19b9 100644 --- a/devel/Makefile +++ b/devel/Makefile @@ -381,7 +381,6 @@ SUBDIR += chroma SUBDIR += chrpath SUBDIR += chruby - SUBDIR += cil SUBDIR += cirrus-cli SUBDIR += cityhash SUBDIR += cjose diff --git a/devel/cil/Makefile b/devel/cil/Makefile deleted file mode 100644 index a3eb5e6693ec..000000000000 --- a/devel/cil/Makefile +++ /dev/null @@ -1,95 +0,0 @@ -PORTNAME= cil -PORTVERSION= 1.7.3 -PORTREVISION= 3 -CATEGORIES= devel lang -MASTER_SITES= SF/${PORTNAME}/${PORTNAME} - -MAINTAINER= ports@FreeBSD.org -COMMENT= Infrastructure for C Program Analysis and Transformation -WWW= http://kerneis.github.com/cil/ - -LICENSE= BSD3CLAUSE -LICENSE_FILE= ${WRKSRC}/LICENSE - -DEPRECATED= Unmaintained upstream due to lack of time -EXPIRATION_DATE=2024-03-31 - -CONFLICTS= ccured - -BUILD_DEPENDS= ocamlbuild:devel/ocaml-ocamlbuild \ - ${LOCALBASE}/${OCAML_SITELIBDIR}/num/META:math/ocaml-num - -ONLY_FOR_ARCHS= amd64 armv7 i386 powerpc powerpc64 powerpc64le -USES= gmake perl5 -USE_OCAML= yes -USE_OCAML_FINDLIB= yes -OCAML_PKGDIRS= -GNU_CONFIGURE= yes -MAKE_JOBS_UNSAFE=yes - -PORTDOCS= * -PLIST_FILES= ${BINFILES:S,^,bin/,} \ - %%SITE_PERL%%/CilConfig.pm \ - ${LIBFILES:S,^,%%SITE_PERL%%/CIL/,} \ - ${LIBBINS:S,^,%%SITE_PERL%%/CIL/,} \ - ${LIBAFILES:S,^,%%SITE_PERL%%/CIL/,} -BINFILES= cilly cilly.native -LIBAFILES= App/Cilly.pm -LIBFILES= App/Cilly/KeptFile.pm \ - App/Cilly/OutputFile.pm \ - App/Cilly/TempFile.pm -LIBBINS= patcher - -OPTIONS_DEFINE= DOCS - -post-patch: - @${REINPLACE_CMD} -e \ - '35 s|make|gmake|g' ${WRKSRC}/myocamlbuild.ml - @${REINPLACE_CMD} -e \ - 's|@CILHOME@/lib|${PREFIX}/${SITE_PERL_REL}/CIL|g ; \ - s|\@CILHOME\@|${PREFIX}|g' \ - ${WRKSRC}/lib/App/Cilly/CilConfig.pm.in - @${REINPLACE_CMD} -e \ - '/^#!/s|/.*|${PERL}|' ${WRKSRC}/lib/patcher - @${REINPLACE_CMD} -e \ - '/^#!/s|/.*|${PERL}| ; \ - s|$$::cilhome|${PREFIX}|g ; \ - s|obj/$$::archos|libexec/cil|g ; \ - s|^use Cilly;|use CIL::Cilly|' ${WRKSRC}/bin/cilly - @${REINPLACE_CMD} -e \ - 's|^use KeptFile;|use CIL::KeptFile;| ; \ - s|^use OutputFile;|use CIL::OutputFile;| ; \ - s|^use TempFile;|use CIL::TempFile;|' \ - ${WRKSRC}/lib/App/Cilly.pm.in - @${REINPLACE_CMD} -e \ - 's|^use OutputFile;|use CIL::OutputFile;|' \ - ${WRKSRC}/lib/App/Cilly/KeptFile.pm - @${REINPLACE_CMD} -e \ - 's|^use OutputFile;|use CIL::OutputFile;|' \ - ${WRKSRC}/lib/App/Cilly/TempFile.pm - @${REINPLACE_CMD} '/MACHDEPCC/ s|gcc|${CC}|' ${WRKSRC}/Makefile.in - -pre-install: - @${STRIP_CMD} ${WRKSRC}/bin/cilly.native - -do-install: - (cd ${WRKSRC}/bin && ${INSTALL_SCRIPT} ${BINFILES} \ - ${STAGEDIR}${PREFIX}/bin) - @${MKDIR} ${STAGEDIR}${PREFIX}/${SITE_PERL_REL}/CIL/App/Cilly - ${INSTALL_DATA} ${WRKSRC}/lib/App/Cilly/CilConfig.pm \ - ${STAGEDIR}${PREFIX}/${SITE_PERL_REL} - (cd ${WRKSRC}/lib && ${INSTALL_DATA} ${LIBFILES} \ - ${STAGEDIR}${PREFIX}/${SITE_PERL_REL}/CIL/App/Cilly) - (cd ${WRKSRC}/lib && ${INSTALL_DATA} ${LIBAFILES} \ - ${STAGEDIR}${PREFIX}/${SITE_PERL_REL}/CIL/App) - (cd ${WRKSRC}/lib && ${INSTALL_DATA} ${LIBBINS} \ - ${STAGEDIR}${PREFIX}/${SITE_PERL_REL}/CIL) -# Remove orphan dir created by bsd.ocaml.mk - -@${RMDIR} -p ${STAGEDIR}${OCAMLFIND_DESTDIR} - -do-install-DOCS-on: - @${MKDIR} ${STAGEDIR}${DOCSDIR} - @${RM} -r ${WRKSRC}/doc/cilcode.tmp - (cd ${WRKSRC}/doc && ${COPYTREE_SHARE} . ${STAGEDIR}${DOCSDIR}) - -.include <bsd.port.mk> diff --git a/devel/cil/distinfo b/devel/cil/distinfo deleted file mode 100644 index 7f7981a85e88..000000000000 --- a/devel/cil/distinfo +++ /dev/null @@ -1,2 +0,0 @@ -SHA256 (cil-1.7.3.tar.gz) = 69b7f290d2b15dd44e2b837d3de0922245be841f79ab56a7e9ba8205544be314 -SIZE (cil-1.7.3.tar.gz) = 1893257 diff --git a/devel/cil/files/patch-ocamlutil_errormsg.ml b/devel/cil/files/patch-ocamlutil_errormsg.ml deleted file mode 100644 index 8faa3e27dd39..000000000000 --- a/devel/cil/files/patch-ocamlutil_errormsg.ml +++ /dev/null @@ -1,25 +0,0 @@ ---- ocamlutil/errormsg.ml.orig 2013-07-24 15:07:11 UTC -+++ ocamlutil/errormsg.ml -@@ -211,16 +211,17 @@ let cleanFileName str = - if str <> "" && String.get str 0 = '"' (* '"' ( *) - then rem_quotes str else str in - let l = String.length str1 in -+ let str1 = Bytes.of_string str1 in - let rec loop (copyto: int) (i: int) = - if i >= l then -- String.sub str1 0 copyto -+ Bytes.to_string (Bytes.sub str1 0 copyto) - else -- let c = String.get str1 i in -+ let c = Bytes.get str1 i in - if c <> '\\' then begin -- String.set str1 copyto c; loop (copyto + 1) (i + 1) -+ Bytes.set str1 copyto c; loop (copyto + 1) (i + 1) - end else begin -- String.set str1 copyto '/'; -- if i < l - 2 && String.get str1 (i + 1) = '\\' then -+ Bytes.set str1 copyto '/'; -+ if i < l - 2 && Bytes.get str1 (i + 1) = '\\' then - loop (copyto + 1) (i + 2) - else - loop (copyto + 1) (i + 1) diff --git a/devel/cil/files/patch-ocamlutil_pretty.ml b/devel/cil/files/patch-ocamlutil_pretty.ml deleted file mode 100644 index 96aa594f2abd..000000000000 --- a/devel/cil/files/patch-ocamlutil_pretty.ml +++ /dev/null @@ -1,43 +0,0 @@ ---- ocamlutil/pretty.ml.orig 2013-07-24 15:07:11 UTC -+++ ocamlutil/pretty.ml -@@ -725,31 +725,31 @@ let gprintf (finish : doc -> 'b) - invalid_arg ("dprintf: unimplemented format " - ^ (String.sub format i (j-i+1))); - let j' = succ j in (* eat the d,i,x etc. *) -- let format_spec = "% " in -- String.set format_spec 1 (fget j'); (* format_spec = "%x", etc. *) -+ let format_spec = Bytes.of_string "% " in -+ Bytes.set format_spec 1 (fget j'); (* format_spec = "%x", etc. *) - Obj.magic(fun n -> - collect (dctext1 acc -- (Int64.format format_spec n)) -+ (Int64.format (Bytes.to_string format_spec) n)) - (succ j')) - | 'l' -> - if j != i + 1 then invalid_arg ("dprintf: unimplemented format " - ^ (String.sub format i (j-i+1))); - let j' = succ j in (* eat the d,i,x etc. *) -- let format_spec = "% " in -- String.set format_spec 1 (fget j'); (* format_spec = "%x", etc. *) -+ let format_spec = Bytes.of_string "% " in -+ Bytes.set format_spec 1 (fget j'); (* format_spec = "%x", etc. *) - Obj.magic(fun n -> - collect (dctext1 acc -- (Int32.format format_spec n)) -+ (Int32.format (Bytes.to_string format_spec) n)) - (succ j')) - | 'n' -> - if j != i + 1 then invalid_arg ("dprintf: unimplemented format " - ^ (String.sub format i (j-i+1))); - let j' = succ j in (* eat the d,i,x etc. *) -- let format_spec = "% " in -- String.set format_spec 1 (fget j'); (* format_spec = "%x", etc. *) -+ let format_spec = Bytes.of_string "% " in -+ Bytes.set format_spec 1 (fget j'); (* format_spec = "%x", etc. *) - Obj.magic(fun n -> - collect (dctext1 acc -- (Nativeint.format format_spec n)) -+ (Nativeint.format (Bytes.to_string format_spec) n)) - (succ j')) - | 'f' | 'e' | 'E' | 'g' | 'G' -> - Obj.magic(fun f -> diff --git a/devel/cil/files/patch-src_cil.ml b/devel/cil/files/patch-src_cil.ml deleted file mode 100644 index f2be5cf6eda5..000000000000 --- a/devel/cil/files/patch-src_cil.ml +++ /dev/null @@ -1,23 +0,0 @@ ---- src/cil.ml.orig 2013-07-24 15:07:11 UTC -+++ src/cil.ml -@@ -5033,7 +5033,7 @@ let loadBinaryFile (filename : string) : file = - (* Take the name of a file and make a valid symbol name out of it. There are - * a few characters that are not valid in symbols *) - let makeValidSymbolName (s: string) = -- let s = String.copy s in (* So that we can update in place *) -+ let b = Bytes.copy (Bytes.of_string s) in (* So that we can update in place *) - let l = String.length s in - for i = 0 to l - 1 do - let c = String.get s i in -@@ -5043,9 +5043,9 @@ let makeValidSymbolName (s: string) = - | _ -> false - in - if isinvalid then -- String.set s i '_'; -+ Bytes.set b i '_'; - done; -- s -+ Bytes.to_string b - - let rec addOffset (toadd: offset) (off: offset) : offset = - match off with diff --git a/devel/cil/files/patch-src_formatlex.mll b/devel/cil/files/patch-src_formatlex.mll deleted file mode 100644 index c1045cac852d..000000000000 --- a/devel/cil/files/patch-src_formatlex.mll +++ /dev/null @@ -1,17 +0,0 @@ ---- src/formatlex.mll.orig 2013-07-24 15:07:11 UTC -+++ src/formatlex.mll -@@ -145,11 +145,11 @@ let scan_oct_escape str = - * We convert L"Hi" to "H\000i\000" *) - let wbtowc wstr = - let len = String.length wstr in -- let dest = String.make (len * 2) '\000' in -+ let dest = Bytes.make (len * 2) '\000' in - for i = 0 to len-1 do -- dest.[i*2] <- wstr.[i] ; -+ Bytes.set dest (i*2) (String.get wstr i) - done ; -- dest -+ Bytes.to_string dest - - (* This function converst the "Hi" in L"Hi" to { L'H', L'i', L'\0' } *) - let wstr_to_warray wstr = diff --git a/devel/cil/pkg-descr b/devel/cil/pkg-descr deleted file mode 100644 index 33caf47db54a..000000000000 --- a/devel/cil/pkg-descr +++ /dev/null @@ -1,10 +0,0 @@ -Infrastructure for C Program Analysis and Transformation - -CIL (C Intermediate Language) is a high-level representation along -with a set of tools that permit easy analysis and source-to-source -transformation of C programs. - -CIL is both lower-level than abstract-syntax trees, by clarifying -ambiguous constructs and removing redundant ones, and also higher-level -than typical intermediate languages designed for compilation, by -maintaining types and a close relationship with the source program.
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?202404011143.431BhdmA060998>