Makefile.config.in

# -*- mode: makefile -*-

######################################################################
# HAS Flags
######################################################################

# If defined to non-empty value, generates dynamic libraries.
# Do not forget to add -fPIC to CFLAGS and CFLAGS_DEBUG
HAS_SHARED=1

# If defined to non-empty value, generates native-code code
HAS_OCAMLOPT = 1

# If defined to non-empty value, uses ocamlfind(findlib) to install everything,
# instead of installing in $(MLGMPIDL_PREFIX)/... (see below)
# Comment if you do not want to use ocamlfind
OCAMLFIND = ocamlfind

######################################################################
# Directories
######################################################################

MLGMPIDL_PREFIX = /tmp

GMP_PREFIX = /usr
MPFR_PREFIX = /usr
CAML_DIR = $(shell ocamlc -where)
CAMLIDL_DIR = $(shell $(OCAMLFIND) query camlidl)

######################################################################
# Tools and Flags
######################################################################

###################################################
# Ocaml

OCAMLC = ocamlc.opt
OCAMLOPT = ocamlopt.opt

# ocamlc compilation flags
OCAMLFLAGS = -annot -g
# ocamlopt compilation flags
OCAMLOPTFLAGS = -annot -inline 20

OCAMLDEP = ocamldep
OCAMLLEX = ocamllex.opt
OCAMLYACC = ocamlyacc
OCAMLDOC = ocamldoc.opt
OCAMLMKTOP = ocamlmktop
OCAMLMKLIB = ocamlmklib

CAMLIDL = camlidl

###################################################
# C compiler

#CC = gcc

# C compilation flags
CFLAGS = \
-Wcast-qual -Wswitch -Werror-implicit-function-declaration \
-Wall -Wextra -Wundef -Wbad-function-cast -Wcast-align -Wstrict-prototypes \
-Wno-unused \
-fPIC \
-std=c99 \
-O3 -DNDEBUG
# For Mac x86_64, add -m64 -flat_namespace -undefined suppress

# C compilation flags in debug (or profile) mode
CFLAGS_DEBUG = \
-Wcast-qual -Wswitch -Werror-implicit-function-declaration \
-Wall -Wextra -Wundef -Wbad-function-cast -Wcast-align -Wstrict-prototypes \
-Wno-unused \
-fPIC \
-std=c99 \
-g -O0 -UNDEBUG

# C compilation flags in profiling mode
CFLAGS_PROF = \
-Wcast-qual -Wswitch -Werror-implicit-function-declaration \
-Wall -Wextra -Wundef -Wbad-function-cast -Wcast-align -Wstrict-prototypes \
-Wno-unused \
-std=c99 \
-fPIC -O3 -DNDEBUG -g -pg

AR = ar
RANLIB = ranlib
SED = sed
M4 = m4
INSTALL = install
INSTALLd = install -d

LATEX=latex
DVIPDF=dvipdf
MAKEINDEX=makeindex
RM ?= rm -f