From 2307ccdcc5eb4ddfe719ddcbea999f7705ec79c3 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Thu, 30 Apr 2009 17:15:14 -0400
Subject: C FFI compiler options

---
 include/types.h | 4 ++++
 include/urweb.h | 5 +++++
 2 files changed, 9 insertions(+)

(limited to 'include')

diff --git a/include/types.h b/include/types.h
index 1227a4db..0dbd6118 100644
--- a/include/types.h
+++ b/include/types.h
@@ -1,3 +1,6 @@
+#ifndef URWEB_TYPES_H
+#define URWEB_TYPES_H
+
 #include <time.h>
 
 typedef long long uw_Basis_int;
@@ -42,3 +45,4 @@ typedef struct input *uw_input;
 #define FLOATS_MAX 100
 #define TIMES_MAX 100
 
+#endif
diff --git a/include/urweb.h b/include/urweb.h
index c57cc317..27ab799f 100644
--- a/include/urweb.h
+++ b/include/urweb.h
@@ -1,3 +1,6 @@
+#ifndef URWEB_H
+#define URWEB_H
+
 #include <sys/types.h>
 
 #include "types.h"
@@ -176,3 +179,5 @@ uw_Basis_blob uw_Basis_fileData(uw_context, uw_Basis_file);
 uw_Basis_int uw_Basis_blobSize(uw_context, uw_Basis_blob);
 
 __attribute__((noreturn)) void uw_return_blob(uw_context, uw_Basis_blob, uw_Basis_string mimeType);
+
+#endif
-- 
cgit v1.2.3