From 9ef3acbdccba1733ba1543e700936d29290bad63 Mon Sep 17 00:00:00 2001
From: glondu
Date: Thu, 4 Sep 2008 09:41:46 +0000
Subject: Rely on ocamlc to call the C compiler...

...with proper options for dynamic loading of C stubs. I believe this
is the preferred way of compiling C stubs. It also adds by itself
-fno-defer-pop, -Wall, -I `ocamlc -where`, so CFLAGS could also be
simplified.



git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@11358 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 kernel/byterun/coq_fix_code.c | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

(limited to 'kernel/byterun/coq_fix_code.c')

diff --git a/kernel/byterun/coq_fix_code.c b/kernel/byterun/coq_fix_code.c
index 55b907adf7..5d3026605d 100644
--- a/kernel/byterun/coq_fix_code.c
+++ b/kernel/byterun/coq_fix_code.c
@@ -13,11 +13,11 @@
 
 #include <stdio.h>
 #include <stdlib.h> 
-#include <config.h>
-#include <misc.h>
-#include <mlvalues.h>
-#include <fail.h>
-#include <memory.h>
+#include <caml/config.h>
+#include <caml/misc.h>
+#include <caml/mlvalues.h>
+#include <caml/fail.h>
+#include <caml/memory.h>
 #include "coq_instruct.h"
 #include "coq_fix_code.h"
 
-- 
cgit v1.2.3