diff options
Diffstat (limited to 'test/monniaux/ocaml/config/Makefile')
-rw-r--r-- | test/monniaux/ocaml/config/Makefile | 109 |
1 files changed, 109 insertions, 0 deletions
diff --git a/test/monniaux/ocaml/config/Makefile b/test/monniaux/ocaml/config/Makefile new file mode 100644 index 00000000..8fa72626 --- /dev/null +++ b/test/monniaux/ocaml/config/Makefile @@ -0,0 +1,109 @@ +# 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/CompCert/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 |