# -*- mode: Makefile -*-
#---------------------------------------
# Directories
#---------------------------------------
#
# Installation directory prefix
#

CAML_INSTALL = $(HOME)/$(HOSTTYPE)
CAMLIDL_INSTALL = $(HOME)/$(HOSTTYPE)
GMP_INSTALL=$(HOME)/$(HOSTTYPE)

PREFIX = $(POLKA_INSTALL)
# C include and lib directories
INCDIR = $(HOME)/$(HOSTTYPE)/include
LIBDIR = $(HOME)/$(HOSTTYPE)/lib
BINDIR = $(HOME)/$(HOSTTYPE)/bin
#
# 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