Added config.dist.

git-svn-id: http://ocaml-annot.googlecode.com/svn/trunk@11 790f693a-e429-0410-ac51-454e36e68905
avsm · May 16, 2006 · e9d7495 · e9d7495
1 parent 8c34315
commit e9d7495
Show file tree

Hide file tree

Showing 2 changed files with 17 additions and 17 deletions.
diff --git a/config.dist b/config.dist
@@ -0,0 +1,17 @@
+# required tools and settings
+BINEXT               := opt
+DATE                 := 20060516
+LIBEXT               := cmxa
+NAME                 := annot
+NOTANGLE             := notangle
+OCAML_VERSION        := 3.09
+OCAMLC               := ocamlc
+OCAMLDEP             := ocamldep
+OCAMLLEX             := ocamllex
+OCAMLYACC            := ocamlyacc
+POD2MAN              := pod2man
+PREFIX               := /usr/local
+# optional tools and settings
+LATEX                := pdflatex
+NOWEAVE              := noweave
+OCAMLOPT             := ocamlopt.opt
diff --git a/config.mk b/config.mk