diff options
Diffstat (limited to 'kernel/byterun')
-rw-r--r-- | kernel/byterun/coq_fix_code.c | 10 | ||||
-rw-r--r-- | kernel/byterun/coq_fix_code.h | 2 | ||||
-rw-r--r-- | kernel/byterun/coq_gc.h | 4 | ||||
-rw-r--r-- | kernel/byterun/coq_interp.c | 2 | ||||
-rw-r--r-- | kernel/byterun/coq_memory.h | 10 | ||||
-rw-r--r-- | kernel/byterun/coq_values.h | 4 |
6 files changed, 16 insertions, 16 deletions
diff --git a/kernel/byterun/coq_fix_code.c b/kernel/byterun/coq_fix_code.c index 55b907ad..5d302660 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" diff --git a/kernel/byterun/coq_fix_code.h b/kernel/byterun/coq_fix_code.h index 00345318..c1a4e0ae 100644 --- a/kernel/byterun/coq_fix_code.h +++ b/kernel/byterun/coq_fix_code.h @@ -12,7 +12,7 @@ #ifndef _COQ_FIX_CODE_ #define _COQ_FIX_CODE_ -#include <mlvalues.h> +#include <caml/mlvalues.h> void * coq_stat_alloc (asize_t sz); #ifdef THREADED_CODE diff --git a/kernel/byterun/coq_gc.h b/kernel/byterun/coq_gc.h index ccccbe78..c7b18b90 100644 --- a/kernel/byterun/coq_gc.h +++ b/kernel/byterun/coq_gc.h @@ -10,8 +10,8 @@ #ifndef _COQ_CAML_GC_ #define _COQ_CAML_GC_ -#include <mlvalues.h> -#include <alloc.h> +#include <caml/mlvalues.h> +#include <caml/alloc.h> typedef void (*scanning_action) (value, value *); diff --git a/kernel/byterun/coq_interp.c b/kernel/byterun/coq_interp.c index 880e978a..98ef2791 100644 --- a/kernel/byterun/coq_interp.c +++ b/kernel/byterun/coq_interp.c @@ -21,7 +21,7 @@ #include "coq_values.h" /*spiwack : imports support functions for 64-bit integers */ -#include "config.h" +#include <caml/config.h> #ifdef ARCH_INT64_TYPE #include "int64_native.h" #else diff --git a/kernel/byterun/coq_memory.h b/kernel/byterun/coq_memory.h index edd05948..c0093a49 100644 --- a/kernel/byterun/coq_memory.h +++ b/kernel/byterun/coq_memory.h @@ -11,11 +11,11 @@ #ifndef _COQ_MEMORY_ #define _COQ_MEMORY_ -#include <config.h> -#include <fail.h> -#include <misc.h> -#include <memory.h> -#include <mlvalues.h> +#include <caml/config.h> +#include <caml/fail.h> +#include <caml/misc.h> +#include <caml/memory.h> +#include <caml/mlvalues.h> #define Coq_stack_size (4096 * sizeof(value)) diff --git a/kernel/byterun/coq_values.h b/kernel/byterun/coq_values.h index 4c631fce..1bf493e2 100644 --- a/kernel/byterun/coq_values.h +++ b/kernel/byterun/coq_values.h @@ -11,8 +11,8 @@ #ifndef _COQ_VALUES_ #define _COQ_VALUES_ -#include <alloc.h> -#include <mlvalues.h> +#include <caml/alloc.h> +#include <caml/mlvalues.h> #define Default_tag 0 #define Accu_tag 0 |