-
Notifications
You must be signed in to change notification settings - Fork 2
/
Makefile.config.in
42 lines (31 loc) · 1.2 KB
/
Makefile.config.in
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
# -*- 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=0
######################################################################
# Directories
######################################################################
# mlcuddidl is installed with ocamlfind as the package "cudd"
# The installation directory is thus $(shell ocamlfind printconf destdir)/cudd
CAML_DIR = $(shell ocamlc -where)
CAMLIDL_DIR = $(shell ocamlfind query camlidl)
######################################################################
# Tools and Flags
######################################################################
# ocamlc compilation flags
OCAMLFLAGS = -annot
# ocamlopt compilation flags
OCAMLOPTFLAGS = -annot -inline 20
# C compiler
CC ?= gcc
# Other
LATEX=latex
DVIPS=dvips
DVIPDF=dvipdf
MAKEINDEX=makeindex
######################################################################
# Found by configure script
######################################################################