Compile with proper include to pervasives.h.

compiler/utilities/global/compiler_options.ml

@@ -34,11 +34,8 @@ and add_include d =
 
 (* where is the standard library *)
 let locate_stdlib () =
-  let stdlib = try
+  print_string (try Sys.getenv "HEPTLIB" with Not_found -> standard_lib);
-    Sys.getenv "HEPTLIB"
+  print_newline ()
-  with
-      Not_found -> standard_lib in
-  Format.printf "Standard library in %s@." stdlib
 
 let show_version () =
   Format.printf "The Heptagon compiler, version %s (%s)@."

tools/heptc-c.sh

@@ -30,4 +30,4 @@ if [ $compile -eq 1 ]; then
 fi
 
 # Compile it with GCC
-cc -std=c99 $REP/*.c -o `basename $F .ept` || exit 1
+cc -I `$HEPTC -where`/c -std=c99 $REP/*.c -o `basename $F .ept` || exit 1