BSD Ports

devel/cvise 2.12.0_1 FreeBSD

C-Vise is a super-parallel Python port of the C-Reduce

System
FreeBSD
Repository
FreeBSD ports
Maintainer
[email protected]
Last update
Commit
358f3c706f
License
BSD3CLAUSE
Categories
devel, python
Package size
1866.8 KiB, 23048.1 KiB installed

Description

C-Vise is a tool that takes a large C, C++ or OpenCL program that has a property of interest (such as triggering a compiler bug) and automatically produces a much smaller C/C++ or OpenCL program that has the same property. It is intended for use by people who discover and report bugs in compilers and other tools that process C/C++ or OpenCL code.

In the other systems

SystemPortVersion
FreeBSDdevel/cvise2.12.0_1
NetBSDdevel/cvise2.12.0nb1
DragonFlydevel/cvise2.11.0

Install

Binary package:

pkg install cvise

From the ports tree:

cd /usr/ports/devel/cvise/ && make install clean

To depend on this port in another port's Makefile:

RUN_DEPENDS=	cvise>0:devel/cvise

Packages

The version each package repository carries. “-” means the repository builds no package of it, “n/a” that there is no such repository.

Repositoryaarch64amd64armv6armv7i386
FreeBSD:14:latest2.12.0_12.12.0_1-2.11.02.12.0_1
FreeBSD:14:quarterly2.12.0_12.12.0_1n/a2.11.02.12.0_1
FreeBSD:15:latest2.12.0_12.12.0_1n/a2.11.02.11.0
FreeBSD:15:quarterly2.12.0_12.12.0_1n/an/an/a
FreeBSD:16:latest2.12.0_12.12.0_1n/an/an/a
FreeBSD:16:quarterlyn/an/an/an/an/a

Dependencies

As this port's Makefile names them.

Build 4

Runtime 4

Test 1

The full lists below include those, and their dependencies in turn.

Build dependencies 27
Run dependencies 14

No port depends on this one.

Configuration

No options to configure.

USES
cmake compiler llvm:min=16,build,run python shebangfix
Service scripts
none

Files

pkg-plist 53
  • bin/cvise-delta
  • bin/cvise
  • libexec/cvise/clang_delta
  • libexec/cvise/clex
  • libexec/cvise/strlex
  • libexec/cvise/topformflat
  • share/cvise/__init__.py
  • share/cvise/cvise.py
  • share/cvise/pass_groups/all.json
  • share/cvise/pass_groups/binary.json
  • share/cvise/pass_groups/delta.json
  • share/cvise/pass_groups/opencl-120.json
  • share/cvise/passes/__init__.py
  • share/cvise/passes/abstract.py
  • share/cvise/passes/balanced.py
  • share/cvise/passes/blank.py
  • share/cvise/passes/clang.py
  • share/cvise/passes/clangbinarysearch.py
  • share/cvise/passes/clex.py
  • share/cvise/passes/comments.py
  • share/cvise/passes/gcdabinary.py
  • share/cvise/passes/ifs.py
  • share/cvise/passes/includeincludes.py
  • share/cvise/passes/includes.py
  • share/cvise/passes/indent.py
  • share/cvise/passes/ints.py
  • share/cvise/passes/line_markers.py
  • share/cvise/passes/lines.py
  • share/cvise/passes/peep.py
  • share/cvise/passes/special.py
  • share/cvise/passes/ternary.py
  • share/cvise/passes/unifdef.py
  • share/cvise/tests/__init__.py
  • share/cvise/tests/test_balanced.py
  • share/cvise/tests/test_comments.py
  • share/cvise/tests/test_ifs.py
  • share/cvise/tests/test_ints.py
  • share/cvise/tests/test_line_markers.py
  • share/cvise/tests/test_lines.py
  • share/cvise/tests/test_nestedmatcher.py
  • share/cvise/tests/test_peep.py
  • share/cvise/tests/test_special.py
  • share/cvise/tests/test_ternary.py
  • share/cvise/tests/test_test_manager.py
  • share/cvise/tests/testabstract.py
  • share/cvise/utils/externalprograms.py
  • share/cvise/utils/__init__.py
  • share/cvise/utils/error.py
  • share/cvise/utils/misc.py
  • share/cvise/utils/nestedmatcher.py
  • share/cvise/utils/readkey.py
  • share/cvise/utils/statistics.py
  • share/cvise/utils/testing.py
distinfo 7
FileSizeSHA256
marxin-cvise-v2.12.0_GH0.tar.gz2744587eb3b2ec4e64e3033cb47e35363336f50b1313a34a106609ad1110c532389779
68262f7d6de584b6474801827cb7dfc68011de25.patch72380a690589ec49fdd2bf714f456313919409ceb84635e0129b816ba4432b5ae4aa
42da06fd108c351c5f4a42657c16208300121545.patch53763660a6024637eb33a07d170ddc6f704098de49de91c4a942145e86265f683581
59e9058c43b12b802893bde668113c8b3b3525b7.patch6884b912849fa3fb9528af11c4949aaecd818762950c9203a922857845cd8d9488ba
fa1be9523d569adfe207c85a1e44f074172bc305.patch49886b5a2d033c3fbd9b995a4bdb04334569ddd8284bfe9fa1c17d7f9e5ce5d5ba838
b17bbacdb279babd87dc9ef24756f3003746717c.patch2144b6ee407c2018aca52f68525c17925b9bb2493ea584602b601ac75029a8fc375c
c7f9642340eb61c09a05c96498fd21c9b7293770.patch1709318574c5a73f214c2e1b8c429e9c6ace2e3872907f6db8ea6007ff794b930d6d0

Commit history 1

DateCommitCreditsLog message
358f3c706f Dimitry Andric devel/cvise: make it build with DEFAULT_VERSIONS+=llvm=22
Upstream cvise added support for building against llvm 22 in: <https://github.com/marxin/cvise/commit/42da06f> <https://github.com/marxin/cvise/commit/59e9058> <https://github.com/marxin/cvise/commit/fa1be95> <https://github.com/marxin/cvise/commit/b17bbac> <https://github.com/marxin/cvise/commit/c7f9642> Add these as PATCHFILES, and use a similar approach for the llvm 21 patch. PR: 296376 Approved by: maintainer timeout (2 weeks) MFH: 2026Q3