# generated by ./configure -prefix /opt/ccomp/ocaml/4.07.1 -cc /opt/CompCert/3.4/x86_64-linux/bin/ccomp -D_DEFAULT_SOURCE --no-shared-libs
CONFIGURE_ARGS=-prefix /opt/ccomp/ocaml/4.07.1 -cc /opt/CompCert/3.4/x86_64-linux/bin/ccomp -D_DEFAULT_SOURCE --no-shared-libs
PREFIX=/opt/ccomp/ocaml/4.07.1
BINDIR=$(PREFIX)/bin
BYTERUN=$(BINDIR)/ocamlrun
LIBDIR=$(PREFIX)/lib/ocaml
STUBLIBDIR=$(LIBDIR)/stublibs
MANDIR=$(PREFIX)/man
PROGRAMS_MAN_SECTION=1
LIBRARIES_MAN_SECTION=3
RANLIB=ranlib
RANLIBCMD=ranlib
ARCMD=ar
HASHBANGSCRIPTS=true
UNIX_OR_WIN32=unix
UNIXLIB=unix
GRAPHLIB=graph
PTHREAD_LINK=-lpthread
PTHREAD_CAML_LINK=-cclib -lpthread
X11_INCLUDES=
X11_LINK=-lX11
LIBBFD_LINK=
LIBBFD_INCLUDE=
# DM CC=k1-mbr-gcc
CC=/home/monniaux/work/Kalray/mppa-work/ccomp
CPP=$(CC) -E
CFLAGS=-O -Wall -fall
# DM CFLAGS=-O3 -Wall
CPPFLAGS= -D_FILE_OFFSET_BITS=64 -D_REENTRANT -DCAML_NAME_SPACE 
OCAMLC_CFLAGS=-O 
OCAMLC_CPPFLAGS= -D_FILE_OFFSET_BITS=64 -D_REENTRANT
LDFLAGS=
BYTECCLIBS= -lm  
RPATH=
EXE=
EMPTY=
OUTPUTEXE=-o $(EMPTY)
SUPPORTS_SHARED_LIBRARIES=false
SHAREDCCCOMPOPTS=
MKSHAREDLIBRPATH=
NATDYNLINKOPTS=
SYSLIB=-l$(1)
#ml let syslib x = "-l"^x;;

### How to build a static library
MKLIB=rm -f $(1) && ar rc $(1) $(2) && ranlib $(1)
#ml let mklib out files opts =      (* "" *)
#ml   Printf.sprintf "ar rc %s %s %s && ranlib %s"
#ml                  out opts files out;;
ARCH=amd64
MODEL=default
SYSTEM=linux
OCAMLOPT_CFLAGS=-O
OCAMLOPT_CPPFLAGS= -D_FILE_OFFSET_BITS=64 -D_REENTRANT
NATIVECCPROFOPTS=
NATIVECCLIBS= -lm  -ldl
ASM=as
ASPP=gcc -c
ASPPPROFFLAGS=-DPROFILING
PROFILING=true
DYNLINKOPTS= -ldl
OTHERLIBRARIES=unix str dynlink bigarray raw_spacetime_lib systhreads threads graph
CC_PROFILE=-pg
SYSTHREAD_SUPPORT=true
PACKLD=ld -r -o\ $(EMPTY)
IFLEXDIR=
O=o
A=a
SO=so
EXT_OBJ=.o
OUTPUTOBJ=-o $(EMPTY)
EXT_ASM=.s
EXT_LIB=.a
EXT_DLL=.so
EXTRALIBS=
CCOMPTYPE=cc
TOOLCHAIN=cc
NATDYNLINK=false
CMXS=cmxa
MKEXE=$(CC) $(CFLAGS) $(CPPFLAGS) $(LDFLAGS)
MKEXEDEBUGFLAG=-g
MKDLL=shared-libs-not-available
MKMAINDLL=shared-libs-not-available
RUNTIMED=true
RUNTIMEI=true
WITH_DEBUGGER=ocamldebugger
WITH_OCAMLDOC=ocamldoc
ASM_CFI_SUPPORTED=true
WITH_FRAME_POINTERS=false
WITH_SPACETIME=false
ENABLE_CALL_COUNTS=true
WITH_PROFINFO=false
LIBUNWIND_AVAILABLE=false
LIBUNWIND_INCLUDE_FLAGS=
LIBUNWIND_LINK_FLAGS=
PROFINFO_WIDTH=0
WITH_CPLUGINS=false
WITH_FPIC=false
TARGET=x86_64-unknown-linux-gnu
HOST=x86_64-unknown-linux-gnu
FLAMBDA=false
WITH_FLAMBDA_INVARIANTS=false
FORCE_SAFE_STRING=false
DEFAULT_SAFE_STRING=true
WINDOWS_UNICODE=0
AFL_INSTRUMENT=false
MAX_TESTSUITE_DIR_RETRIES=0
FLAT_FLOAT_ARRAY=true
AWK=awk