aboutsummaryrefslogtreecommitdiffstats
path: root/Library
diff options
context:
space:
mode:
Diffstat (limited to 'Library')
-rw-r--r--Library/Formula/csmith.rb23
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