[ 00:01 Muhammad Moinur Rahman (bofh)  ]

• c06842b264e47e5e5ab6fb0c2bfef95440aaa26c MOVED
• c06842b264e47e5e5ab6fb0c2bfef95440aaa26c devel/Makefile
• c06842b264e47e5e5ab6fb0c2bfef95440aaa26c devel/frama-c/Makefile
• c06842b264e47e5e5ab6fb0c2bfef95440aaa26c devel/frama-c/distinfo
• c06842b264e47e5e5ab6fb0c2bfef95440aaa26c devel/frama-c/files/patch-Makefile
• c06842b264e47e5e5ab6fb0c2bfef95440aaa26c devel/frama-c/files/patch-src_plugins_wp_Makefile.in
• c06842b264e47e5e5ab6fb0c2bfef95440aaa26c devel/frama-c/pkg-descr
• c06842b264e47e5e5ab6fb0c2bfef95440aaa26c devel/frama-c/pkg-plist

devel/frama-c/: Remove expired port:

2023-03-21 devel/frama-c: Broken since 2021

[ 07:33 danfe  ]

• 504397 devel/frama-c/Makefile
• 504397 devel/frama-c/distinfo
• 504397 devel/frama-c/files/patch-Makefile
• 504397 devel/frama-c/pkg-plist

- Update to the next version (v15.x Phosphorus) which builds against
  both current and newish versions of OCaml
- Disable E-ACSL plugin for now which fails to build bundled jemalloc
- Drop useless DIST_SUBDIR, the distfile name is unique enough

[ 04:19 mmokhi  ]

• 435383 devel/frama-c/Makefile
• 435383 devel/frama-c/distinfo
• 435383 devel/frama-c/files
• 435383 devel/frama-c/files/patch-Makefile
• 435383 devel/frama-c/files/patch-src_plugins_wp_Makefile.in
• 435383 devel/frama-c/pkg-plist

devel/frama-c: Update to the last release (Silicon-20161101).

Reviewed by:	feld, mat
Approved by:	feld, mat (mentors)
Differential Revision:	https://reviews.freebsd.org/D9790