Makefile.config 1.64 KB
Newer Older
1 2 3 4 5 6 7 8
# -*- mode: Makefile -*-
#---------------------------------------
# Directories
#---------------------------------------
#
# Installation directory prefix
#

9 10 11
CAML_INSTALL = $(HOME)/$(HOSTTYPE)
CAMLIDL_INSTALL = $(HOME)/$(HOSTTYPE)
GMP_INSTALL=$(HOME)/$(HOSTTYPE)
12 13 14

PREFIX = $(POLKA_INSTALL)
# C include and lib directories
15 16 17
INCDIR = $(HOME)/$(HOSTTYPE)/include
LIBDIR = $(HOME)/$(HOSTTYPE)/lib
BINDIR = $(HOME)/$(HOSTTYPE)/bin
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
#
# Where to find GMP (here, $(GMP_INSTALL)/include, $(GMP_INSTALL)/lib)
#
GMP_PREFIX = $(GMP_INSTALL)
#
# For the OCAML interface
# 
# Where to find OCAML and CAMLIDL
# 
CAML_PREFIX = $(CAML_INSTALL)
CAMLIDL_PREFIX = $(CAMLIDL_INSTALL)

#---------------------------------------
# Programs
#---------------------------------------

# Installation program
INSTALL = install
INSTALLd = install -d
# C compiler and C preprocessor
CC = gcc
CPP = gcc -E

# LATEX and others
LATEX = latex
TEXI2DVI = texi2dvi
MAKEINFO = makeinfo
DVIPS = dvips

# For the OCAML interface
OCAMLDEP = ocamldep
OCAMLC = ocamlc.opt
OCAMLOPT = ocamlopt.opt
OCAMLLEX = ocamllex.opt
OCAMLYACC = ocamlyacc
OCAMLMKTOP = ocamlmktop
CAMLIDL = camlidl


#---------------------------------------
# Flags
#---------------------------------------

# Use ICFLAGS to specify machine-independent compilation flags.
ICFLAGS = -I$(GMP_PREFIX)/include -I.. \
-Wall -Wconversion -Winline -Wimplicit-function-declaration \
-O3 -g -DNDEBUG

# Use XCFLAGS to specify machine-dependent compilation flags.
XCFLAGS = 

# For debugging purpose
CFLAGS_DEBUG = -O1 -g -UNDEBUG
CFLAGS_PROF = -g -pg

# For the OCAML interface
MLFLAGS =
MLOPTFLAGS = -inline 20 
CAML_CFLAGS_DEBUG = -O1 -g
CAML_CFLAGS_PROF = -g -pg