Port details |
- csmith Generates random C programs that conform to the C99 standard
- 2.3.0 devel =2 2.3.0Version of this port present on the latest quarterly branch.
- There is no maintainer for this port.
- Any concerns regarding this port should be directed to the FreeBSD Ports mailing list via ports@FreeBSD.org
- Port Added: 2011-10-25 20:55:44
- Last Update: 2024-10-01 18:56:20
- Commit Hash: 4485bd8
- People watching this port, also watch:: jdictionary, py311-Automat, py311-python-gdsii, py39-PyOpenGL, p5-Sane
- License: BSD2CLAUSE
- WWW:
- https://embed.cs.utah.edu/csmith/
- Description:
- Csmith is a tool that can generate random C programs that statically
and dynamically conform to the C99 standard. Thus, it is useful for
stress-testing compilers, static analyzers, and other tools that
process C code. Csmith has found bugs in every tool that it has
tested, and over the last several years we have used it to find
and report more than 350 previously-unknown compiler bugs.
- ¦ ¦ ¦ ¦
- 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/csmith/ && make install clean
- To add the package, run one of these commands:
- pkg install devel/csmith
- pkg install csmith
NOTE: If this package has multiple flavors (see below), then use one of them instead of the name specified above.- PKGNAME: csmith
- Flavors: there is no flavor information for this port.
- distinfo:
- TIMESTAMP = 1498294369
SHA256 (csmith-2.3.0.tar.gz) = f247cc0aede5f8a0746271b40a5092b5b5a2d034e5e8f7a836c879dde3fb65d5
SIZE (csmith-2.3.0.tar.gz) = 637381
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:
-
- gmake>=4.4.1 : devel/gmake
- Runtime dependencies:
-
- perl5>=5.36<5.37 : lang/perl5.36
- There are no ports dependent upon this port
Configuration Options:
- ===> The following configuration options are available for csmith-2.3.0:
DOCS=on: Build and/or install documentation
===> Use 'make config' to modify these settings
- Options name:
- devel_csmith
- USES:
- gmake libtool localbase perl5 shebangfix
- FreshPorts was unable to extract/find any pkg message
- Master Sites:
|
Commit History - (may be incomplete: for full details, see links to repositories near top of page) |
Commit | Credits | Log message |
2.3.0 01 Oct 2024 18:56:20 |
Rene Ladan (rene) |
all: drop support for expired FreeBSD 14.0
Simplify expressions for FreeBSD 13.X
Reviewed by: many
Differential Revision: https://reviews.freebsd.org/D46601 |
2.3.0 26 Jul 2023 00:48:20 |
Muhammad Moinur Rahman (bofh) |
*/*: Fix build with llvm16 on 13.2-STABLE
As like as HEAD(14.0-RELEASE) llvm16 was merged in base for 13.2-STABLE
with the OSVERSION 1302507.
- Utilize USE_CXXSTD=c++14 or similar solution where applicable
- Update conditionals to addtionally check for OSVERSION greater than
1302507 and less than 1400000
Approved by: portmgr (blanket)
Sponsored by: The FreeBSD Foundation |
2.3.0 21 Jul 2023 15:41:48 |
Muhammad Moinur Rahman (bofh) |
devel/csmith: Fix build with llvm16
Sponsored by: The FreeBSD Foundation |
07 Sep 2022 21:58:51 |
Stefan Eßer (se) |
Remove WWW entries moved into port Makefiles
Commit b7f05445c00f has added WWW entries to port Makefiles based on
WWW: lines in pkg-descr files.
This commit removes the WWW: lines of moved-over URLs from these
pkg-descr files.
Approved by: portmgr (tcberner) |
2.3.0 07 Sep 2022 21:10:59 |
Stefan Eßer (se) |
Add WWW entries to port Makefiles
It has been common practice to have one or more URLs at the end of the
ports' pkg-descr files, one per line and prefixed with "WWW:". These
URLs should point at a project website or other relevant resources.
Access to these URLs required processing of the pkg-descr files, and
they have often become stale over time. If more than one such URL was
present in a pkg-descr file, only the first one was tarnsfered into
the port INDEX, but for many ports only the last line did contain the
port specific URL to further information.
There have been several proposals to make a project URL available as
a macro in the ports' Makefiles, over time.
(Only the first 15 lines of the commit message are shown above ) |
2.3.0 07 Apr 2021 08:09:01 |
Mathieu Arnold (mat) |
One more small cleanup, forgotten yesterday.
Reported by: lwhsu |
2.3.0 06 Apr 2021 14:31:07 |
Mathieu Arnold (mat) |
Remove # $FreeBSD$ from Makefiles. |
2.3.0 07 Dec 2020 20:09:03 |
rene |
Return mmokhi@'s ports to the pool after his commit bit was safekept. |
2.3.0 23 Oct 2018 06:36:00 |
linimon |
Enable build on all archs. Apparently the x86-specific code is long gone.
PR: 229725
Submitted by: Greg V <greg at unrelenting.technology>
Approved by: maintainer timeout (> 3 months) |
2.3.0 02 Jul 2017 12:36:06 |
mmokhi |
devel/csmith: Update csmith to 2.3.0
This new version contains many changes including:
. Added a CMake-based build system (as well as Autoconf-based system).
. Improved ability to generate C++-compatible code:
First, the command-line option --lang-cpp now sets other
options automatically (--match-exact-qualifiers,
--no-vol-struct-union-fields, and
--no-const-struct-union-fields).
Second, the new command-line option --cpp11 tells Csmith to generate
C++11-compatible code. The default is to generate C++03-compatible code.
. Added command-line options:
--global-variables / --no-global-variables: allow or disallow global
variables (allowed by default)
--const-struct-union-fields / --no-const-struct-union-fields: allow or (Only the first 15 lines of the commit message are shown above ) |
2.2.0 11 Feb 2017 04:44:44 |
mmokhi |
Updating the ports I maintain to my FreeBSD.org address.
Submitted by: mmokhi
Reviewed by: feld, mat
Approved by: feld, mat (mentors)
Differential Revision: https://reviews.freebsd.org/D9498 |
2.2.0 26 Dec 2016 19:00:40 |
sunpoet |
- Pass maintainership to submitter
PR: 215586
Submitted by: Mahdi Mokhtari <mokhi64@gmail.com> |
2.2.0 26 Dec 2016 11:59:12 |
rene |
Reset ports per maintainer request.
PR: 215557
Submitted by: A.J. "Fonz" van Werven (maintainer) |
2.2.0 04 Jan 2015 20:51:51 |
pawel |
- Update to version 2.2.0
- Add new maintainer's mirror to MASTER_SITES
- Submitter is new maintainer
- Add PKGNAME to PLIST_SUB and use it to parameterize include directory
PR: 196424
Submitted by: A.J. "Fonz" van Werven <freebsd@skysmurf.nl> |
2.1.0_2 22 Dec 2014 21:23:31 |
antoine |
- Add missing run dependency on perl
- Shebangfix |
2.1.0_1 27 Oct 2014 10:10:59 |
bapt |
Cleanup plist |
2.1.0_1 24 Sep 2014 06:00:10 |
eadler |
Hand back my ports to the pool.
Ports require time and TLC which I no longer have. |
2.1.0_1 29 Aug 2014 21:48:10 |
tijl |
Add USES=libtool and INSTALL_TARGET=install-strip |
2.1.0 15 Jul 2014 23:11:13 |
adamw |
Add OPTIONS_DEFINE=DOCS for ports with %%PORTDOCS%% in the plist.
Where possible, correct a few instances where PORTDOCS was being used
to flag stuff in EXAMPLESDIR. For some ports, mostly those owned by
ruby@, PORTDOCS is applied to pretty much everything whether it's
documentation or example. |
2.1.0 11 Dec 2013 23:44:27 |
eadler |
creduce/Makefile csmith/Makefile symports/Makefile: use BSD*CLAUSE
The LICENSE 'BSD' was not specific enough. Now, use the new versioned licenses. |
2.1.0 29 Sep 2013 03:05:51 |
eadler |
- Convert to staging |
20 Sep 2013 17:03:27
|
bapt |
Add NO_STAGE all over the place in preparation for the staging support (cat:
devel part 1) |
2.1.0 16 Jul 2013 21:59:48 |
eadler |
Remove now excess verbiage.
Reviewed by: bapt |
2.1.0 06 Jul 2013 17:27:41 |
eadler |
Convert some of my ports from USE_GMAKE to USES=gmake.
The remainder have other pending patches which I must finish before conversion. |
2.1.0 23 Apr 2013 01:44:41 |
eadler |
Simplify port logic |
2.1.0 08 Mar 2013 20:23:39 |
eadler |
Clean up my ports (and a couple of ports@ owned ones):
- Fix COMMENT
- Add MAKE_JOBS_SAFE where appropriate
- Change ordering of LICENSE lines
- Fix new header format
- Etc.
Reviewed by: drogoh (on irc) |
2.1.0 06 Oct 2012 14:35:46 |
eadler |
Trim the headers in the ports I maintain. |
2.1.0 08 Sep 2012 12:12:06 |
eadler |
This will never work on a non-intel cpu |
2.1.0 08 Sep 2012 06:53:18 |
linimon |
Mark as broken on sparc64.
Hat: portmgr |
2.1.0 23 Nov 2011 05:33:30 |
eadler |
- update to 2.1
- remove build patches
New features in this release:
- By default, functions and global variables are marked as "static" permitting
compilers to optimize more aggressivELY IN SOme cases.
- We now try harder to get auto-vectorizers and other loop optimizers in trouble
by generating code that is more idiomatic and therefore more likely to be
optimized. In particular, array indices are in-bounds by construction instead of
by using % operators.
- Unions are supported.
- The comma operator is supported, as in x = (y, 1, z, 3).
- Embedded assignments are supported, as in x = 1 + (y = z).
- The pre/post increment/decrement operators are supported.
- A --no-safe-math mode was added, which avoids calling the safe math wrappers.
This is useful when trying to crash compilers but the resulting executables
should not be run since they are very likely to have undefined behavior.
Feature safe: yes |
2.0.0 25 Oct 2011 20:54:51 |
eadler |
Csmith is a tool that can generate random C programs that statically
and dynamically conform to the C99 standard. Thus, it is useful for
stress-testing compilers, static analyzers, and other tools that
process C code. Csmith has found bugs in every tool that it has
tested, and over the last several years we have used it to find
and report more than 350 previously-unknown compiler bugs.
WWW: http://embed.cs.utah.edu/csmith/
Approved by: bapt (mentor) |