diff options
| author | wiz <wiz@pkgsrc.org> | 2021-09-16 19:19:05 +0000 |
|---|---|---|
| committer | wiz <wiz@pkgsrc.org> | 2021-09-16 19:19:05 +0000 |
| commit | 4642f8b7806adb93369c19c038066b7313294cd2 (patch) | |
| tree | e8a88d8583ce4bd58ab3e7a9367a4935570a73be | |
| parent | 549050dae84e2fd475ff3810f40a1a2275c156c1 (diff) | |
| download | pkgsrc-4642f8b7806adb93369c19c038066b7313294cd2.tar.gz | |
lang/csmith: import csmith-2.3.0
Packaged for wip by Kamel Ibn Aziz Derouiche and myself.
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.
| -rw-r--r-- | lang/csmith/DESCR | 4 | ||||
| -rw-r--r-- | lang/csmith/Makefile | 20 | ||||
| -rw-r--r-- | lang/csmith/PLIST | 27 | ||||
| -rw-r--r-- | lang/csmith/distinfo | 6 |
4 files changed, 57 insertions, 0 deletions
diff --git a/lang/csmith/DESCR b/lang/csmith/DESCR new file mode 100644 index 00000000000..f8d46aa01fa --- /dev/null +++ b/lang/csmith/DESCR @@ -0,0 +1,4 @@ +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. diff --git a/lang/csmith/Makefile b/lang/csmith/Makefile new file mode 100644 index 00000000000..b8863aec3b6 --- /dev/null +++ b/lang/csmith/Makefile @@ -0,0 +1,20 @@ +# $NetBSD: Makefile,v 1.1 2021/09/16 19:19:05 wiz Exp $ + +DISTNAME= csmith-2.3.0 +CATEGORIES= lang +MASTER_SITES= https://embed.cs.utah.edu/csmith/ + +MAINTAINER= kamel.derouiche@gmail.com +HOMEPAGE= https://embed.cs.utah.edu/csmith/ +COMMENT= Random generator of C programs +LICENSE= modified-bsd + +GNU_CONFIGURE= yes +USE_TOOLS+= gm4 gmake perl +USE_LIBTOOL= yes +USE_LANGUAGES= c c++ + +REPLACE_PERL+= scripts/compiler_test.pl scripts/launchn.pl +REPLACE_PERL+= scripts/test_csmith.pl + +.include "../../mk/bsd.pkg.mk" diff --git a/lang/csmith/PLIST b/lang/csmith/PLIST new file mode 100644 index 00000000000..721934fb918 --- /dev/null +++ b/lang/csmith/PLIST @@ -0,0 +1,27 @@ +@comment $NetBSD: PLIST,v 1.1 2021/09/16 19:19:05 wiz Exp $ +bin/compiler_test.in +bin/compiler_test.pl +bin/csmith +bin/launchn.pl +bin/test_csmith.pl +include/${PKGNAME}/csmith.h +include/${PKGNAME}/csmith_minimal.h +include/${PKGNAME}/custom_limits.h +include/${PKGNAME}/custom_stdint_x86.h +include/${PKGNAME}/platform_avr.h +include/${PKGNAME}/platform_generic.h +include/${PKGNAME}/platform_msp430.h +include/${PKGNAME}/random_inc.h +include/${PKGNAME}/safe_abbrev.h +include/${PKGNAME}/safe_math.h +include/${PKGNAME}/safe_math_macros.h +include/${PKGNAME}/safe_math_macros_notmp.h +include/${PKGNAME}/stdint_avr.h +include/${PKGNAME}/stdint_ia32.h +include/${PKGNAME}/stdint_ia64.h +include/${PKGNAME}/stdint_msp430.h +include/${PKGNAME}/volatile_runtime.c +include/${PKGNAME}/volatile_runtime.h +include/${PKGNAME}/windows/stdint.h +lib/libcsmith.la +share/doc/csmith/probabilities.txt diff --git a/lang/csmith/distinfo b/lang/csmith/distinfo new file mode 100644 index 00000000000..33763e2c496 --- /dev/null +++ b/lang/csmith/distinfo @@ -0,0 +1,6 @@ +$NetBSD: distinfo,v 1.1 2021/09/16 19:19:05 wiz Exp $ + +SHA1 (csmith-2.3.0.tar.gz) = f307aaf99667044b173aba5f02bf033471f1a669 +RMD160 (csmith-2.3.0.tar.gz) = 6e4f191199e2e776c03ba4b58ea1466f8cf74e3c +SHA512 (csmith-2.3.0.tar.gz) = abab6ace0fa6b1be248c3ffbac7069bcadbad7b7af5673660849c8bebf84de040afcf527b2fefbbcb68b9164a43e08684c147496fb2b25bbffef7495dba39041 +Size (csmith-2.3.0.tar.gz) = 637381 bytes |