csmith 2.0.0

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.

Signed-off-by: Adam Vandenberg <flangy@gmail.com>

1 files changed, 23 insertions, 0 deletions

diff --git a/Library/Formula/csmith.rb b/Library/Formula/csmith.rb
new file mode 100644
index 000000000..7d0a95255
--- /dev/null
+++ b/Library/Formula/csmith.rb
@@ -0,0 +1,23 @@
+require 'formula'
+
+class Csmith < Formula
+  url 'http://embed.cs.utah.edu/csmith/csmith-2.0.0.tar.gz'
+  homepage 'http://embed.cs.utah.edu/csmith/'
+  md5 'ab0bee5da4d1c2b55c32789b716846cb'
+
+  def install
+    system "./configure", "--disable-dependency-tracking",
+                          "--prefix=#{prefix}"
+    system "make install"
+    runtime = include+"csmith-#{version}/runtime"
+    runtime.mkdir
+    runtime.install Dir['runtime/*.h']
+  end
+
+  def caveats
+    <<-EOS.undent
+      It is recommended that you set the environment variable 'CSMITH_PATH' to
+          #{include}/csmith-#{version}
+    EOS
+  end
+end