Port details on branch 2022Q3 |
- creduce Produces small test cases
- 2.11.0.l13.g20220117,1 devel =0 2.11.0.l13.g20220117,1Version of this port present on the latest quarterly branch.
- Maintainer: fuz@FreeBSD.org
- Port Added: 2013-04-25 02:35:19
- Last Update: 2023-04-14 15:35:56
- Commit Hash: d7c4b94
- License: NCSA
- WWW:
- https://github.com/csmith-project/creduce
- Description:
- C-Reduce is a tool which takes a large C or C++ program that has a property of
interest (such as triggering a compiler bug) and automatically produces a much
smaller C/C++ 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++ code.
- ¦ ¦ ¦ ¦
- Manual pages:
- FreshPorts has no man page information for this port.
- pkg-plist: as obtained via:
make generate-plist - Dependency lines:
-
- To install the port:
- cd /usr/ports/devel/creduce/ && make install clean
- To add the package, run one of these commands:
- pkg install devel/creduce
- pkg install creduce
NOTE: If this package has multiple flavors (see below), then use one of them instead of the name specified above.- PKGNAME: creduce
- Flavors: there is no flavor information for this port.
- distinfo:
- TIMESTAMP = 1681391245
SHA256 (csmith-project-creduce-2.11.0.llvm13.g20220117-4ae77d1e101135a6aea310b30c19e2af968b7bf6_GH0.tar.gz) = d7bb185ced0e7edd1361418940cd6589818f7a32f331877929e01d1417632f09
SIZE (csmith-project-creduce-2.11.0.llvm13.g20220117-4ae77d1e101135a6aea310b30c19e2af968b7bf6_GH0.tar.gz) = 748042
Packages (timestamps in pop-ups are UTC):
- Dependencies
- NOTE: FreshPorts displays only information on required and default dependencies. Optional dependencies are not covered.
- Build dependencies:
-
- flex : textproc/flex
- cmake : devel/cmake-core
- ninja : devel/ninja
- llvm-config13 : devel/llvm13
- perl5>=5.32.r0<5.33 : lang/perl5.32
- Runtime dependencies:
-
- topformflat : devel/delta
- p5-Benchmark-Timer>=0 : devel/p5-Benchmark-Timer
- p5-Exporter-Lite>=0 : devel/p5-Exporter-Lite
- p5-File-Which>=0 : sysutils/p5-File-Which
- p5-Regexp-Common>=0 : textproc/p5-Regexp-Common
- p5-Sys-CPU>=0 : devel/p5-Sys-CPU
- p5-Getopt-Tabular>=0 : devel/p5-Getopt-Tabular
- p5-Term-ReadKey>=0 : devel/p5-Term-ReadKey
- llvm-config13 : devel/llvm13
- perl5>=5.32.r0<5.33 : lang/perl5.32
- Library dependencies:
-
- libzstd.so : archivers/zstd
- libxml2.so : textproc/libxml2
- libLLVM-13.so : devel/llvm13
- There are no ports dependent upon this port
Configuration Options:
- No options to configure
- Options name:
- devel_creduce
- USES:
- cmake gnome compiler:c++14-lang llvm:13,build,lib,run perl5
- FreshPorts was unable to extract/find any pkg message
- Master Sites:
|