Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with
or
.
Download ZIP
Newer
Older
100644 18 lines (17 sloc) 0.542 kb
e9d7495 Added config.dist.
lindig authored
1 # required tools and settings
2 BINEXT := opt
3 DATE := 20060516
4 LIBEXT := cmxa
5 NAME := annot
6 NOTANGLE := notangle
7 OCAML_VERSION := 3.09
8 OCAMLC := ocamlc
9 OCAMLDEP := ocamldep
10 OCAMLLEX := ocamllex
11 OCAMLYACC := ocamlyacc
12 POD2MAN := pod2man
13 PREFIX := /usr/local
14 # optional tools and settings
15 LATEX := pdflatex
16 NOWEAVE := noweave
17 OCAMLOPT := ocamlopt.opt
Something went wrong with that request. Please try again.