[m-dev.] for review: more fixes to bindist.configure.in
David Glen JEFFERY
dgj at cs.mu.OZ.AU
Tue Jan 23 12:11:40 AEDT 2001
===================================================================
Estimated hours taken: .25
bindist/bindist.configure.in:
Add a couple of missing configure parameters which were
causing ml in the bindist to be generated with unexpanded
configure variables.
===================================================================
Index: bindist.configure.in
===================================================================
RCS file: /home/staff/zs/imp/mercury/bindist/bindist.configure.in,v
retrieving revision 1.29
diff -u -t -r1.29 bindist.configure.in
--- bindist.configure.in 2001/01/22 04:34:42 1.29
+++ bindist.configure.in 2001/01/23 00:58:05
@@ -82,6 +82,7 @@
AC_SUBST(LINK_OPT_SEP)
AC_SUBST(CYGPATH)
AC_SUBST(MATH_LIB)
+AC_SUBST(SHARED_LIBS)
#-----------------------------------------------------------------------------#
AC_PROG_RANLIB
@@ -205,9 +206,11 @@
INIT_GRADE_OPTIONS=$top/scripts/init_grade_options.sh-subr
PARSE_GRADE_OPTIONS=$top/scripts/parse_grade_options.sh-subr
FINAL_GRADE_OPTIONS=$top/scripts/final_grade_options.sh-subr
+CANONICAL_GRADE=$top/scripts/canonical_grade.sh-subr
AC_SUBST_FILE(INIT_GRADE_OPTIONS)
AC_SUBST_FILE(PARSE_GRADE_OPTIONS)
AC_SUBST_FILE(FINAL_GRADE_OPTIONS)
+AC_SUBST_FILE(CANONICAL_GRADE)
#-----------------------------------------------------------------------------#
MERCURY_CHECK_READLINE
dgj
--
David Jeffery (dgj at cs.mu.oz.au) | If your thesis is utterly vacuous
PhD student, | Use first-order predicate calculus.
Dept. of Comp. Sci. & Soft. Eng.| With sufficient formality
The University of Melbourne | The sheerist banality
Australia | Will be hailed by the critics: "Miraculous!"
| -- Anon.
--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to: mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions: mercury-developers-request at cs.mu.oz.au
--------------------------------------------------------------------------
More information about the developers
mailing list