Home My Page Projects Code Snippets Project Openings SML/NJ
Summary Activity Forums Tracker Lists Tasks Docs Surveys News SCM Files

SCM Repository

[smlnj] Annotation of /sml/trunk/src/cml/doc/configure.ac
ViewVC logotype

Annotation of /sml/trunk/src/cml/doc/configure.ac

Parent Directory Parent Directory | Revision Log Revision Log


Revision 1302 - (view) (download)

1 : jhr 1302 dnl Process this file with autoconf (2.52+) to produce a configure script.
2 :     dnl
3 :     dnl COPYRIGHT (c) 2003 John Reppy (http://www.cs.uchicago.edu/~jhr)
4 :     dnl All rights reserved.
5 :     dnl
6 :    
7 :     AC_INIT(CMLManual,1.1)
8 :    
9 :     AC_PREREQ(2.52)
10 :     AC_COPYRIGHT([COPYRIGHT (c) 2002 John Reppy] (http://www.cs.uchicago.edu/~jhr))
11 :     AC_CONFIG_SRCDIR(ML-Doc/cml.mldoc)
12 :     AC_CONFIG_AUX_DIR(config)
13 :    
14 :     BASIS_DIR=`pwd`
15 :     AC_SUBST(BASIS_DIR)
16 :    
17 :     dnl
18 :     dnl find location of ML-Doc tools
19 :     dnl
20 :     AC_ARG_WITH(mldoc,
21 :     [ --with-mldoc=PATH specify location of ML-Doc tools],
22 :     MLDOC_DIR=$with_mldoc)
23 :     if test x$MLDOC_DIR = xyes -o x$MLDOC_DIR = xno ; then
24 :     AC_MSG_ERROR([--with-mldoc option must specify directory argument])
25 :     elif test x$MLDOC_DIR != x ; then
26 :     dnl
27 :     dnl verify that $MLDOC_DIR is an absolute path
28 :     dnl
29 :     case $MLDOC_DIR in
30 :     /*) ;;
31 :     *) AC_MSG_ERROR([--with-mldoc argument must be absolute]) ;;
32 :     esac
33 :     fi
34 :     AC_SUBST(MLDOC_DIR)
35 :    
36 :     dnl
37 :     dnl Get location of SML Basis Library Master.info
38 :     dnl file.
39 :     dnl
40 :     AC_ARG_WITH(basis-info,
41 :     [ --with-basis-info=PATH specify location of SML Basis master info file],
42 :     BASIS_INFO_PATH=$with_basis_info)
43 :     if test x$BASIS_INFO_PATH = xyes -o x$BASIS_INFO_PATH = xno ; then
44 :     AC_MSG_ERROR([--with-basis-info option must specify directory argument])
45 :     elif test x$BASIS_INFO_PATH != x ; then
46 :     dnl
47 :     dnl verify the existance of the file
48 :     dnl
49 :     case $BASIS_INFO_PATH in
50 :     /*) ;;
51 :     *) AC_MSG_ERROR([--with-basis-info argument must be absolute]) ;;
52 :     esac
53 :     if test ! -r $BASIS_INFO_PATH ; then
54 :     AC_MSG_ERROR([info file "$BASIS_INFO_PATH" not found])
55 :     fi
56 :     else
57 :     AC_MSG_ERROR([must specify location of SML Basis Library info file])
58 :     fi
59 :     AC_SUBST(MLDOC_DIR)
60 :    
61 :     dnl
62 :     dnl Generate makefiles
63 :     dnl
64 :     $MLDOC_DIR/bin/mk-mldoc-makefile < input
65 :    
66 :     AC_CONFIG_FILES(
67 :     CATALOG:config/CATALOG.in \
68 :     Config.cfg:config/Config_cfg.in \
69 :     Hardcopy/run-latex:config/run-latex.in \
70 :     )
71 :    
72 :     AC_CONFIG_COMMANDS_PRE([if test ! -d Info ; then mkdir Info; fi])
73 :     AC_CONFIG_COMMANDS_PRE([if test ! -d HTML ; then mkdir HTML; fi])
74 :     AC_CONFIG_COMMANDS_PRE([if test ! -d Hardcopy ; then mkdir Hardcopy; fi])
75 :     AC_CONFIG_COMMANDS_PRE([if test ! -d Proof ; then mkdir Proof; fi])
76 :    
77 :     AC_OUTPUT

root@smlnj-gforge.cs.uchicago.edu
ViewVC Help
Powered by ViewVC 1.0.0