From d31db8b415ab26798dc71b77009c3a0149223de0 Mon Sep 17 00:00:00 2001
From: Jack Nagel
Date: Mon, 26 May 2014 18:55:34 -0500
Subject: compcert: cheat to get test to pass

ccomp apparently can't parse /usr/include/stdio.h on OS X.
---
 Library/Formula/compcert.rb | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'Library')

diff --git a/Library/Formula/compcert.rb b/Library/Formula/compcert.rb
index b3bd0a1c6..f0820b4dc 100644
--- a/Library/Formula/compcert.rb
+++ b/Library/Formula/compcert.rb
@@ -26,7 +26,7 @@ class Compcert < Formula
 
   test do
     (testpath/"test.c").write <<-EOS.undent
-      #include <stdio.h>
+      int printf(const char *fmt, ...);
       int main(int argc, char** argv) {
         printf("Hello, world!\\n");
         return 0;
-- 
cgit v1.2.3