blob: 161d8a1baf532ffa4736fe14452837e41faf6bcd (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
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/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
|
