annotate Makefile.in @ 1228:7dfa67560916

Using multiple policies to check a written value
author Adam Chlipala <adamc@hcoop.net>
date Sun, 11 Apr 2010 16:46:38 -0400
parents 7a17588edbff
children be2ef50780ed
rev   line source
adamc@1138 1 # Makefile.in generated by automake 1.11.1 from Makefile.am.
adamc@1132 2 # @configure_input@
adamc@1132 3
adamc@1132 4 # Copyright (C) 1994, 1995, 1996, 1997, 1998, 1999, 2000, 2001, 2002,
adamc@1132 5 # 2003, 2004, 2005, 2006, 2007, 2008, 2009 Free Software Foundation,
adamc@1132 6 # Inc.
adamc@1132 7 # This Makefile.in is free software; the Free Software Foundation
adamc@1132 8 # gives unlimited permission to copy and/or distribute it,
adamc@1132 9 # with or without modifications, as long as this notice is preserved.
adamc@1132 10
adamc@1132 11 # This program is distributed in the hope that it will be useful,
adamc@1132 12 # but WITHOUT ANY WARRANTY, to the extent permitted by law; without
adamc@1132 13 # even the implied warranty of MERCHANTABILITY or FITNESS FOR A
adamc@1132 14 # PARTICULAR PURPOSE.
adamc@1132 15
adamc@1132 16 @SET_MAKE@
adamc@1132 17 VPATH = @srcdir@
adamc@1132 18 pkgdatadir = $(datadir)/@PACKAGE@
adamc@1132 19 pkgincludedir = $(includedir)/@PACKAGE@
adamc@1132 20 pkglibdir = $(libdir)/@PACKAGE@
adamc@1132 21 pkglibexecdir = $(libexecdir)/@PACKAGE@
adamc@1132 22 am__cd = CDPATH="$${ZSH_VERSION+.}$(PATH_SEPARATOR)" && cd
adamc@1132 23 install_sh_DATA = $(install_sh) -c -m 644
adamc@1132 24 install_sh_PROGRAM = $(install_sh) -c
adamc@1132 25 install_sh_SCRIPT = $(install_sh) -c
adamc@1132 26 INSTALL_HEADER = $(INSTALL_DATA)
adamc@1132 27 transform = $(program_transform_name)
adamc@1132 28 NORMAL_INSTALL = :
adamc@1132 29 PRE_INSTALL = :
adamc@1132 30 POST_INSTALL = :
adamc@1132 31 NORMAL_UNINSTALL = :
adamc@1132 32 PRE_UNINSTALL = :
adamc@1132 33 POST_UNINSTALL = :
adamc@1132 34 build_triplet = @build@
adamc@1132 35 host_triplet = @host@
adamc@1132 36 subdir = .
adamc@1132 37 DIST_COMMON = $(am__configure_deps) $(srcdir)/Makefile.am \
adamc@1132 38 $(srcdir)/Makefile.in $(top_srcdir)/configure \
adamc@1132 39 $(top_srcdir)/src/config.sml.in config.guess config.sub \
adamc@1132 40 depcomp install-sh ltmain.sh missing
adamc@1132 41 ACLOCAL_M4 = $(top_srcdir)/aclocal.m4
adamc@1141 42 am__aclocal_m4_deps = $(top_srcdir)/m4/libtool.m4 \
adamc@1141 43 $(top_srcdir)/m4/ltoptions.m4 $(top_srcdir)/m4/ltsugar.m4 \
adamc@1141 44 $(top_srcdir)/m4/ltversion.m4 $(top_srcdir)/m4/lt~obsolete.m4 \
adamc@1141 45 $(top_srcdir)/configure.ac
adamc@1132 46 am__configure_deps = $(am__aclocal_m4_deps) $(CONFIGURE_DEPENDENCIES) \
adamc@1132 47 $(ACLOCAL_M4)
adamc@1132 48 am__CONFIG_DISTCLEAN_FILES = config.status config.cache config.log \
adamc@1132 49 configure.lineno config.status.lineno
adamc@1132 50 mkinstalldirs = $(install_sh) -d
adamc@1132 51 CONFIG_CLEAN_FILES = src/config.sml
adamc@1132 52 CONFIG_CLEAN_VPATH_FILES =
adamc@1132 53 SOURCES =
adamc@1132 54 DIST_SOURCES =
adamc@1132 55 RECURSIVE_TARGETS = all-recursive check-recursive dvi-recursive \
adamc@1132 56 html-recursive info-recursive install-data-recursive \
adamc@1132 57 install-dvi-recursive install-exec-recursive \
adamc@1132 58 install-html-recursive install-info-recursive \
adamc@1132 59 install-pdf-recursive install-ps-recursive install-recursive \
adamc@1132 60 installcheck-recursive installdirs-recursive pdf-recursive \
adamc@1132 61 ps-recursive uninstall-recursive
adamc@1132 62 RECURSIVE_CLEAN_TARGETS = mostlyclean-recursive clean-recursive \
adamc@1132 63 distclean-recursive maintainer-clean-recursive
adamc@1132 64 AM_RECURSIVE_TARGETS = $(RECURSIVE_TARGETS:-recursive=) \
adamc@1132 65 $(RECURSIVE_CLEAN_TARGETS:-recursive=) tags TAGS ctags CTAGS \
adamc@1132 66 distdir dist dist-all distcheck
adamc@1132 67 ETAGS = etags
adamc@1132 68 CTAGS = ctags
adamc@1132 69 DIST_SUBDIRS = $(SUBDIRS)
adamc@1132 70 DISTFILES = $(DIST_COMMON) $(DIST_SOURCES) $(TEXINFOS) $(EXTRA_DIST)
adamc@1132 71 distdir = $(PACKAGE)-$(VERSION)
adamc@1132 72 top_distdir = $(distdir)
adamc@1132 73 am__remove_distdir = \
adamc@1132 74 { test ! -d "$(distdir)" \
adamc@1132 75 || { find "$(distdir)" -type d ! -perm -200 -exec chmod u+w {} ';' \
adamc@1132 76 && rm -fr "$(distdir)"; }; }
adamc@1132 77 am__relativize = \
adamc@1132 78 dir0=`pwd`; \
adamc@1132 79 sed_first='s,^\([^/]*\)/.*$$,\1,'; \
adamc@1132 80 sed_rest='s,^[^/]*/*,,'; \
adamc@1132 81 sed_last='s,^.*/\([^/]*\)$$,\1,'; \
adamc@1132 82 sed_butlast='s,/*[^/]*$$,,'; \
adamc@1132 83 while test -n "$$dir1"; do \
adamc@1132 84 first=`echo "$$dir1" | sed -e "$$sed_first"`; \
adamc@1132 85 if test "$$first" != "."; then \
adamc@1132 86 if test "$$first" = ".."; then \
adamc@1132 87 dir2=`echo "$$dir0" | sed -e "$$sed_last"`/"$$dir2"; \
adamc@1132 88 dir0=`echo "$$dir0" | sed -e "$$sed_butlast"`; \
adamc@1132 89 else \
adamc@1132 90 first2=`echo "$$dir2" | sed -e "$$sed_first"`; \
adamc@1132 91 if test "$$first2" = "$$first"; then \
adamc@1132 92 dir2=`echo "$$dir2" | sed -e "$$sed_rest"`; \
adamc@1132 93 else \
adamc@1132 94 dir2="../$$dir2"; \
adamc@1132 95 fi; \
adamc@1132 96 dir0="$$dir0"/"$$first"; \
adamc@1132 97 fi; \
adamc@1132 98 fi; \
adamc@1132 99 dir1=`echo "$$dir1" | sed -e "$$sed_rest"`; \
adamc@1132 100 done; \
adamc@1132 101 reldir="$$dir2"
adamc@1132 102 DIST_ARCHIVES = $(distdir).tar.gz
adamc@1132 103 GZIP_ENV = --best
adamc@1132 104 distuninstallcheck_listfiles = find . -type f -print
adamc@1132 105 distcleancheck_listfiles = find . -type f -print
adamc@1132 106 ACLOCAL = @ACLOCAL@
adamc@1132 107 AMTAR = @AMTAR@
adamc@1132 108 AR = @AR@
adamc@1132 109 AUTOCONF = @AUTOCONF@
adamc@1132 110 AUTOHEADER = @AUTOHEADER@
adamc@1132 111 AUTOMAKE = @AUTOMAKE@
adamc@1132 112 AWK = @AWK@
adamc@1132 113 BIN := @BIN@
adamc@1132 114 CC = @CC@
adamc@1132 115 CCDEPMODE = @CCDEPMODE@
adamc@1132 116 CFLAGS = @CFLAGS@
adamc@1132 117 CPP = @CPP@
adamc@1132 118 CPPFLAGS = @CPPFLAGS@
adamc@1132 119 CYGPATH_W = @CYGPATH_W@
adamc@1132 120 DEFS = @DEFS@
adamc@1132 121 DEPDIR = @DEPDIR@
adamc@1132 122 DSYMUTIL = @DSYMUTIL@
adamc@1132 123 DUMPBIN = @DUMPBIN@
adamc@1132 124 ECHO_C = @ECHO_C@
adamc@1132 125 ECHO_N = @ECHO_N@
adamc@1132 126 ECHO_T = @ECHO_T@
adamc@1132 127 EGREP = @EGREP@
adamc@1132 128 EXEEXT = @EXEEXT@
adamc@1132 129 FGREP = @FGREP@
adamc@1132 130 GCCARGS = @GCCARGS@
adamc@1132 131 GREP = @GREP@
adamc@1132 132 INCLUDE := @INCLUDE@
adamc@1132 133 INSTALL = @INSTALL@
adamc@1132 134 INSTALL_DATA = @INSTALL_DATA@
adamc@1132 135 INSTALL_PROGRAM = @INSTALL_PROGRAM@
adamc@1132 136 INSTALL_SCRIPT = @INSTALL_SCRIPT@
adamc@1132 137 INSTALL_STRIP_PROGRAM = @INSTALL_STRIP_PROGRAM@
adamc@1132 138 LD = @LD@
adamc@1132 139 LDFLAGS = @LDFLAGS@
adamc@1132 140 LIB := @LIB@
adamc@1132 141 LIBOBJS = @LIBOBJS@
adamc@1132 142 LIBS = @LIBS@
adamc@1132 143 LIBTOOL = @LIBTOOL@
adamc@1132 144 LIPO = @LIPO@
adamc@1132 145 LN_S = @LN_S@
adamc@1132 146 LTLIBOBJS = @LTLIBOBJS@
adamc@1132 147 MAKEINFO = @MAKEINFO@
adamc@1132 148 MKDIR_P = @MKDIR_P@
adamc@1165 149 MLLEX = @MLLEX@
adamc@1165 150 MLTON := mlton
adamc@1165 151 MLYACC = @MLYACC@
adamc@1132 152 NM = @NM@
adamc@1132 153 NMEDIT = @NMEDIT@
adamc@1132 154 OBJDUMP = @OBJDUMP@
adamc@1132 155 OBJEXT = @OBJEXT@
adamc@1132 156 OTOOL = @OTOOL@
adamc@1132 157 OTOOL64 = @OTOOL64@
adamc@1132 158 PACKAGE = @PACKAGE@
adamc@1132 159 PACKAGE_BUGREPORT = @PACKAGE_BUGREPORT@
adamc@1132 160 PACKAGE_NAME = @PACKAGE_NAME@
adamc@1132 161 PACKAGE_STRING = @PACKAGE_STRING@
adamc@1132 162 PACKAGE_TARNAME = @PACKAGE_TARNAME@
adamc@1132 163 PACKAGE_URL = @PACKAGE_URL@
adamc@1132 164 PACKAGE_VERSION = @PACKAGE_VERSION@
adamc@1132 165 PATH_SEPARATOR = @PATH_SEPARATOR@
adamc@1132 166 RANLIB = @RANLIB@
adamc@1132 167 SED = @SED@
adamc@1132 168 SET_MAKE = @SET_MAKE@
adamc@1132 169 SHELL = @SHELL@
adamc@378 170 SITELISP := @SITELISP@
adamc@1132 171 STRIP = @STRIP@
adamc@1132 172 VERSION = @VERSION@
adamc@1132 173 abs_builddir = @abs_builddir@
adamc@1132 174 abs_srcdir = @abs_srcdir@
adamc@1132 175 abs_top_builddir = @abs_top_builddir@
adamc@1132 176 abs_top_srcdir = @abs_top_srcdir@
adamc@1132 177 ac_ct_CC = @ac_ct_CC@
adamc@1132 178 ac_ct_DUMPBIN = @ac_ct_DUMPBIN@
adamc@1132 179 am__include = @am__include@
adamc@1132 180 am__leading_dot = @am__leading_dot@
adamc@1132 181 am__quote = @am__quote@
adamc@1132 182 am__tar = @am__tar@
adamc@1132 183 am__untar = @am__untar@
adamc@1132 184 bindir = @bindir@
adamc@1132 185 build = @build@
adamc@1132 186 build_alias = @build_alias@
adamc@1132 187 build_cpu = @build_cpu@
adamc@1132 188 build_os = @build_os@
adamc@1132 189 build_vendor = @build_vendor@
adamc@1132 190 builddir = @builddir@
adamc@1132 191 datadir = @datadir@
adamc@1132 192 datarootdir = @datarootdir@
adamc@1132 193 docdir = @docdir@
adamc@1132 194 dvidir = @dvidir@
adamc@1132 195 exec_prefix = @exec_prefix@
adamc@1132 196 host = @host@
adamc@1132 197 host_alias = @host_alias@
adamc@1132 198 host_cpu = @host_cpu@
adamc@1132 199 host_os = @host_os@
adamc@1132 200 host_vendor = @host_vendor@
adamc@1132 201 htmldir = @htmldir@
adamc@1132 202 includedir = @includedir@
adamc@1132 203 infodir = @infodir@
adamc@1132 204 install_sh = @install_sh@
adamc@1132 205 libdir = @libdir@
adamc@1132 206 libexecdir = @libexecdir@
adamc@1132 207 localedir = @localedir@
adamc@1132 208 localstatedir = @localstatedir@
adamc@1132 209 lt_ECHO = @lt_ECHO@
adamc@1132 210 mandir = @mandir@
adamc@1132 211 mkdir_p = @mkdir_p@
adamc@1132 212 oldincludedir = @oldincludedir@
adamc@1132 213 pdfdir = @pdfdir@
adamc@1132 214 prefix = @prefix@
adamc@1132 215 program_transform_name = @program_transform_name@
adamc@1132 216 psdir = @psdir@
adamc@1132 217 sbindir = @sbindir@
adamc@1132 218 sharedstatedir = @sharedstatedir@
adamc@1132 219 srcdir = @srcdir@
adamc@1132 220 sysconfdir = @sysconfdir@
adamc@1132 221 target_alias = @target_alias@
adamc@1132 222 top_build_prefix = @top_build_prefix@
adamc@1132 223 top_builddir = @top_builddir@
adamc@1132 224 top_srcdir = @top_srcdir@
adamc@1141 225 ACLOCAL_AMFLAGS = -I m4
adamc@1132 226 LIB_UR := $(LIB)/ur
adamc@1132 227 LIB_C := $(LIB)/c
adamc@1132 228 LIB_JS := $(LIB)/js
adamc@1132 229 SUBDIRS = src/c
adamc@1132 230 all: all-recursive
adamc@378 231
adamc@1132 232 .SUFFIXES:
adamc@1132 233 am--refresh:
adamc@1132 234 @:
adamc@1132 235 $(srcdir)/Makefile.in: $(srcdir)/Makefile.am $(am__configure_deps)
adamc@1132 236 @for dep in $?; do \
adamc@1132 237 case '$(am__configure_deps)' in \
adamc@1132 238 *$$dep*) \
adamc@1132 239 echo ' cd $(srcdir) && $(AUTOMAKE) --foreign'; \
adamc@1132 240 $(am__cd) $(srcdir) && $(AUTOMAKE) --foreign \
adamc@1132 241 && exit 0; \
adamc@1132 242 exit 1;; \
adamc@1132 243 esac; \
adamc@1132 244 done; \
adamc@1132 245 echo ' cd $(top_srcdir) && $(AUTOMAKE) --foreign Makefile'; \
adamc@1132 246 $(am__cd) $(top_srcdir) && \
adamc@1132 247 $(AUTOMAKE) --foreign Makefile
adamc@1132 248 .PRECIOUS: Makefile
adamc@1132 249 Makefile: $(srcdir)/Makefile.in $(top_builddir)/config.status
adamc@1132 250 @case '$?' in \
adamc@1132 251 *config.status*) \
adamc@1132 252 echo ' $(SHELL) ./config.status'; \
adamc@1132 253 $(SHELL) ./config.status;; \
adamc@1132 254 *) \
adamc@1132 255 echo ' cd $(top_builddir) && $(SHELL) ./config.status $@ $(am__depfiles_maybe)'; \
adamc@1132 256 cd $(top_builddir) && $(SHELL) ./config.status $@ $(am__depfiles_maybe);; \
adamc@1132 257 esac;
adamc@1095 258
adamc@1132 259 $(top_builddir)/config.status: $(top_srcdir)/configure $(CONFIG_STATUS_DEPENDENCIES)
adamc@1132 260 $(SHELL) ./config.status --recheck
adamc@378 261
adamc@1132 262 $(top_srcdir)/configure: $(am__configure_deps)
adamc@1132 263 $(am__cd) $(srcdir) && $(AUTOCONF)
adamc@1132 264 $(ACLOCAL_M4): $(am__aclocal_m4_deps)
adamc@1132 265 $(am__cd) $(srcdir) && $(ACLOCAL) $(ACLOCAL_AMFLAGS)
adamc@1132 266 $(am__aclocal_m4_deps):
adamc@1132 267 src/config.sml: $(top_builddir)/config.status $(top_srcdir)/src/config.sml.in
adamc@1132 268 cd $(top_builddir) && $(SHELL) ./config.status $@
adamc@378 269
adamc@1132 270 mostlyclean-libtool:
adamc@1132 271 -rm -f *.lo
adamc@1132 272
adamc@1132 273 clean-libtool:
adamc@1132 274 -rm -rf .libs _libs
adamc@1132 275
adamc@1132 276 distclean-libtool:
adamc@1132 277 -rm -f libtool config.lt
adamc@1132 278
adamc@1132 279 # This directory's subdirectories are mostly independent; you can cd
adamc@1132 280 # into them and run `make' without going through this Makefile.
adamc@1132 281 # To change the values of `make' variables: instead of editing Makefiles,
adamc@1132 282 # (1) if the variable is set in `config.status', edit `config.status'
adamc@1132 283 # (which will cause the Makefiles to be regenerated when you run `make');
adamc@1132 284 # (2) otherwise, pass the desired values on the `make' command line.
adamc@1132 285 $(RECURSIVE_TARGETS):
adamc@1138 286 @fail= failcom='exit 1'; \
adamc@1132 287 for f in x $$MAKEFLAGS; do \
adamc@1132 288 case $$f in \
adamc@1132 289 *=* | --[!k]*);; \
adamc@1132 290 *k*) failcom='fail=yes';; \
adamc@1132 291 esac; \
adamc@1132 292 done; \
adamc@1132 293 dot_seen=no; \
adamc@1132 294 target=`echo $@ | sed s/-recursive//`; \
adamc@1132 295 list='$(SUBDIRS)'; for subdir in $$list; do \
adamc@1132 296 echo "Making $$target in $$subdir"; \
adamc@1132 297 if test "$$subdir" = "."; then \
adamc@1132 298 dot_seen=yes; \
adamc@1132 299 local_target="$$target-am"; \
adamc@1132 300 else \
adamc@1132 301 local_target="$$target"; \
adamc@1132 302 fi; \
adamc@1132 303 ($(am__cd) $$subdir && $(MAKE) $(AM_MAKEFLAGS) $$local_target) \
adamc@1132 304 || eval $$failcom; \
adamc@1132 305 done; \
adamc@1132 306 if test "$$dot_seen" = "no"; then \
adamc@1132 307 $(MAKE) $(AM_MAKEFLAGS) "$$target-am" || exit 1; \
adamc@1132 308 fi; test -z "$$fail"
adamc@1132 309
adamc@1132 310 $(RECURSIVE_CLEAN_TARGETS):
adamc@1138 311 @fail= failcom='exit 1'; \
adamc@1132 312 for f in x $$MAKEFLAGS; do \
adamc@1132 313 case $$f in \
adamc@1132 314 *=* | --[!k]*);; \
adamc@1132 315 *k*) failcom='fail=yes';; \
adamc@1132 316 esac; \
adamc@1132 317 done; \
adamc@1132 318 dot_seen=no; \
adamc@1132 319 case "$@" in \
adamc@1132 320 distclean-* | maintainer-clean-*) list='$(DIST_SUBDIRS)' ;; \
adamc@1132 321 *) list='$(SUBDIRS)' ;; \
adamc@1132 322 esac; \
adamc@1132 323 rev=''; for subdir in $$list; do \
adamc@1132 324 if test "$$subdir" = "."; then :; else \
adamc@1132 325 rev="$$subdir $$rev"; \
adamc@1132 326 fi; \
adamc@1132 327 done; \
adamc@1132 328 rev="$$rev ."; \
adamc@1132 329 target=`echo $@ | sed s/-recursive//`; \
adamc@1132 330 for subdir in $$rev; do \
adamc@1132 331 echo "Making $$target in $$subdir"; \
adamc@1132 332 if test "$$subdir" = "."; then \
adamc@1132 333 local_target="$$target-am"; \
adamc@1132 334 else \
adamc@1132 335 local_target="$$target"; \
adamc@1132 336 fi; \
adamc@1132 337 ($(am__cd) $$subdir && $(MAKE) $(AM_MAKEFLAGS) $$local_target) \
adamc@1132 338 || eval $$failcom; \
adamc@1132 339 done && test -z "$$fail"
adamc@1132 340 tags-recursive:
adamc@1132 341 list='$(SUBDIRS)'; for subdir in $$list; do \
adamc@1132 342 test "$$subdir" = . || ($(am__cd) $$subdir && $(MAKE) $(AM_MAKEFLAGS) tags); \
adamc@1132 343 done
adamc@1132 344 ctags-recursive:
adamc@1132 345 list='$(SUBDIRS)'; for subdir in $$list; do \
adamc@1132 346 test "$$subdir" = . || ($(am__cd) $$subdir && $(MAKE) $(AM_MAKEFLAGS) ctags); \
adamc@1132 347 done
adamc@1132 348
adamc@1132 349 ID: $(HEADERS) $(SOURCES) $(LISP) $(TAGS_FILES)
adamc@1132 350 list='$(SOURCES) $(HEADERS) $(LISP) $(TAGS_FILES)'; \
adamc@1132 351 unique=`for i in $$list; do \
adamc@1132 352 if test -f "$$i"; then echo $$i; else echo $(srcdir)/$$i; fi; \
adamc@1132 353 done | \
adamc@1132 354 $(AWK) '{ files[$$0] = 1; nonempty = 1; } \
adamc@1132 355 END { if (nonempty) { for (i in files) print i; }; }'`; \
adamc@1132 356 mkid -fID $$unique
adamc@1132 357 tags: TAGS
adamc@1132 358
adamc@1132 359 TAGS: tags-recursive $(HEADERS) $(SOURCES) $(TAGS_DEPENDENCIES) \
adamc@1132 360 $(TAGS_FILES) $(LISP)
adamc@1132 361 set x; \
adamc@1132 362 here=`pwd`; \
adamc@1132 363 if ($(ETAGS) --etags-include --version) >/dev/null 2>&1; then \
adamc@1132 364 include_option=--etags-include; \
adamc@1132 365 empty_fix=.; \
adamc@1132 366 else \
adamc@1132 367 include_option=--include; \
adamc@1132 368 empty_fix=; \
adamc@1132 369 fi; \
adamc@1132 370 list='$(SUBDIRS)'; for subdir in $$list; do \
adamc@1132 371 if test "$$subdir" = .; then :; else \
adamc@1132 372 test ! -f $$subdir/TAGS || \
adamc@1132 373 set "$$@" "$$include_option=$$here/$$subdir/TAGS"; \
adamc@1132 374 fi; \
adamc@1132 375 done; \
adamc@1132 376 list='$(SOURCES) $(HEADERS) $(LISP) $(TAGS_FILES)'; \
adamc@1132 377 unique=`for i in $$list; do \
adamc@1132 378 if test -f "$$i"; then echo $$i; else echo $(srcdir)/$$i; fi; \
adamc@1132 379 done | \
adamc@1132 380 $(AWK) '{ files[$$0] = 1; nonempty = 1; } \
adamc@1132 381 END { if (nonempty) { for (i in files) print i; }; }'`; \
adamc@1132 382 shift; \
adamc@1132 383 if test -z "$(ETAGS_ARGS)$$*$$unique"; then :; else \
adamc@1132 384 test -n "$$unique" || unique=$$empty_fix; \
adamc@1132 385 if test $$# -gt 0; then \
adamc@1132 386 $(ETAGS) $(ETAGSFLAGS) $(AM_ETAGSFLAGS) $(ETAGS_ARGS) \
adamc@1132 387 "$$@" $$unique; \
adamc@1132 388 else \
adamc@1132 389 $(ETAGS) $(ETAGSFLAGS) $(AM_ETAGSFLAGS) $(ETAGS_ARGS) \
adamc@1132 390 $$unique; \
adamc@1132 391 fi; \
adamc@1132 392 fi
adamc@1132 393 ctags: CTAGS
adamc@1132 394 CTAGS: ctags-recursive $(HEADERS) $(SOURCES) $(TAGS_DEPENDENCIES) \
adamc@1132 395 $(TAGS_FILES) $(LISP)
adamc@1132 396 list='$(SOURCES) $(HEADERS) $(LISP) $(TAGS_FILES)'; \
adamc@1132 397 unique=`for i in $$list; do \
adamc@1132 398 if test -f "$$i"; then echo $$i; else echo $(srcdir)/$$i; fi; \
adamc@1132 399 done | \
adamc@1132 400 $(AWK) '{ files[$$0] = 1; nonempty = 1; } \
adamc@1132 401 END { if (nonempty) { for (i in files) print i; }; }'`; \
adamc@1132 402 test -z "$(CTAGS_ARGS)$$unique" \
adamc@1132 403 || $(CTAGS) $(CTAGSFLAGS) $(AM_CTAGSFLAGS) $(CTAGS_ARGS) \
adamc@1132 404 $$unique
adamc@1132 405
adamc@1132 406 GTAGS:
adamc@1132 407 here=`$(am__cd) $(top_builddir) && pwd` \
adamc@1132 408 && $(am__cd) $(top_srcdir) \
adamc@1132 409 && gtags -i $(GTAGS_ARGS) "$$here"
adamc@1132 410
adamc@1132 411 distclean-tags:
adamc@1132 412 -rm -f TAGS ID GTAGS GRTAGS GSYMS GPATH tags
adamc@1132 413
adamc@1132 414 distdir: $(DISTFILES)
adamc@1132 415 $(am__remove_distdir)
adamc@1132 416 test -d "$(distdir)" || mkdir "$(distdir)"
adamc@1132 417 @srcdirstrip=`echo "$(srcdir)" | sed 's/[].[^$$\\*]/\\\\&/g'`; \
adamc@1132 418 topsrcdirstrip=`echo "$(top_srcdir)" | sed 's/[].[^$$\\*]/\\\\&/g'`; \
adamc@1132 419 list='$(DISTFILES)'; \
adamc@1132 420 dist_files=`for file in $$list; do echo $$file; done | \
adamc@1132 421 sed -e "s|^$$srcdirstrip/||;t" \
adamc@1132 422 -e "s|^$$topsrcdirstrip/|$(top_builddir)/|;t"`; \
adamc@1132 423 case $$dist_files in \
adamc@1132 424 */*) $(MKDIR_P) `echo "$$dist_files" | \
adamc@1132 425 sed '/\//!d;s|^|$(distdir)/|;s,/[^/]*$$,,' | \
adamc@1132 426 sort -u` ;; \
adamc@1132 427 esac; \
adamc@1132 428 for file in $$dist_files; do \
adamc@1132 429 if test -f $$file || test -d $$file; then d=.; else d=$(srcdir); fi; \
adamc@1132 430 if test -d $$d/$$file; then \
adamc@1132 431 dir=`echo "/$$file" | sed -e 's,/[^/]*$$,,'`; \
adamc@1132 432 if test -d "$(distdir)/$$file"; then \
adamc@1132 433 find "$(distdir)/$$file" -type d ! -perm -700 -exec chmod u+rwx {} \;; \
adamc@1132 434 fi; \
adamc@1132 435 if test -d $(srcdir)/$$file && test $$d != $(srcdir); then \
adamc@1132 436 cp -fpR $(srcdir)/$$file "$(distdir)$$dir" || exit 1; \
adamc@1132 437 find "$(distdir)/$$file" -type d ! -perm -700 -exec chmod u+rwx {} \;; \
adamc@1132 438 fi; \
adamc@1132 439 cp -fpR $$d/$$file "$(distdir)$$dir" || exit 1; \
adamc@1132 440 else \
adamc@1132 441 test -f "$(distdir)/$$file" \
adamc@1132 442 || cp -p $$d/$$file "$(distdir)/$$file" \
adamc@1132 443 || exit 1; \
adamc@1132 444 fi; \
adamc@1132 445 done
adamc@1132 446 @list='$(DIST_SUBDIRS)'; for subdir in $$list; do \
adamc@1132 447 if test "$$subdir" = .; then :; else \
adamc@1132 448 test -d "$(distdir)/$$subdir" \
adamc@1132 449 || $(MKDIR_P) "$(distdir)/$$subdir" \
adamc@1132 450 || exit 1; \
adamc@1132 451 fi; \
adamc@1132 452 done
adamc@1132 453 @list='$(DIST_SUBDIRS)'; for subdir in $$list; do \
adamc@1132 454 if test "$$subdir" = .; then :; else \
adamc@1132 455 dir1=$$subdir; dir2="$(distdir)/$$subdir"; \
adamc@1132 456 $(am__relativize); \
adamc@1132 457 new_distdir=$$reldir; \
adamc@1132 458 dir1=$$subdir; dir2="$(top_distdir)"; \
adamc@1132 459 $(am__relativize); \
adamc@1132 460 new_top_distdir=$$reldir; \
adamc@1132 461 echo " (cd $$subdir && $(MAKE) $(AM_MAKEFLAGS) top_distdir="$$new_top_distdir" distdir="$$new_distdir" \\"; \
adamc@1132 462 echo " am__remove_distdir=: am__skip_length_check=: am__skip_mode_fix=: distdir)"; \
adamc@1132 463 ($(am__cd) $$subdir && \
adamc@1132 464 $(MAKE) $(AM_MAKEFLAGS) \
adamc@1132 465 top_distdir="$$new_top_distdir" \
adamc@1132 466 distdir="$$new_distdir" \
adamc@1132 467 am__remove_distdir=: \
adamc@1132 468 am__skip_length_check=: \
adamc@1132 469 am__skip_mode_fix=: \
adamc@1132 470 distdir) \
adamc@1132 471 || exit 1; \
adamc@1132 472 fi; \
adamc@1132 473 done
adamc@1132 474 -test -n "$(am__skip_mode_fix)" \
adamc@1138 475 || find "$(distdir)" -type d ! -perm -755 \
adamc@1138 476 -exec chmod u+rwx,go+rx {} \; -o \
adamc@1132 477 ! -type d ! -perm -444 -links 1 -exec chmod a+r {} \; -o \
adamc@1132 478 ! -type d ! -perm -400 -exec chmod a+r {} \; -o \
adamc@1132 479 ! -type d ! -perm -444 -exec $(install_sh) -c -m a+r {} {} \; \
adamc@1132 480 || chmod -R a+r "$(distdir)"
adamc@1132 481 dist-gzip: distdir
adamc@1132 482 tardir=$(distdir) && $(am__tar) | GZIP=$(GZIP_ENV) gzip -c >$(distdir).tar.gz
adamc@1132 483 $(am__remove_distdir)
adamc@1132 484
adamc@1132 485 dist-bzip2: distdir
adamc@1132 486 tardir=$(distdir) && $(am__tar) | bzip2 -9 -c >$(distdir).tar.bz2
adamc@1132 487 $(am__remove_distdir)
adamc@1132 488
adamc@1132 489 dist-lzma: distdir
adamc@1132 490 tardir=$(distdir) && $(am__tar) | lzma -9 -c >$(distdir).tar.lzma
adamc@1132 491 $(am__remove_distdir)
adamc@1132 492
adamc@1132 493 dist-xz: distdir
adamc@1132 494 tardir=$(distdir) && $(am__tar) | xz -c >$(distdir).tar.xz
adamc@1132 495 $(am__remove_distdir)
adamc@1132 496
adamc@1132 497 dist-tarZ: distdir
adamc@1132 498 tardir=$(distdir) && $(am__tar) | compress -c >$(distdir).tar.Z
adamc@1132 499 $(am__remove_distdir)
adamc@1132 500
adamc@1132 501 dist-shar: distdir
adamc@1132 502 shar $(distdir) | GZIP=$(GZIP_ENV) gzip -c >$(distdir).shar.gz
adamc@1132 503 $(am__remove_distdir)
adamc@1132 504
adamc@1132 505 dist-zip: distdir
adamc@1132 506 -rm -f $(distdir).zip
adamc@1132 507 zip -rq $(distdir).zip $(distdir)
adamc@1132 508 $(am__remove_distdir)
adamc@1132 509
adamc@1132 510 dist dist-all: distdir
adamc@1132 511 tardir=$(distdir) && $(am__tar) | GZIP=$(GZIP_ENV) gzip -c >$(distdir).tar.gz
adamc@1132 512 $(am__remove_distdir)
adamc@1132 513
adamc@1132 514 # This target untars the dist file and tries a VPATH configuration. Then
adamc@1132 515 # it guarantees that the distribution is self-contained by making another
adamc@1132 516 # tarfile.
adamc@1132 517 distcheck: dist
adamc@1132 518 case '$(DIST_ARCHIVES)' in \
adamc@1132 519 *.tar.gz*) \
adamc@1138 520 GZIP=$(GZIP_ENV) gzip -dc $(distdir).tar.gz | $(am__untar) ;;\
adamc@1132 521 *.tar.bz2*) \
adamc@1138 522 bzip2 -dc $(distdir).tar.bz2 | $(am__untar) ;;\
adamc@1132 523 *.tar.lzma*) \
adamc@1138 524 lzma -dc $(distdir).tar.lzma | $(am__untar) ;;\
adamc@1132 525 *.tar.xz*) \
adamc@1132 526 xz -dc $(distdir).tar.xz | $(am__untar) ;;\
adamc@1132 527 *.tar.Z*) \
adamc@1132 528 uncompress -c $(distdir).tar.Z | $(am__untar) ;;\
adamc@1132 529 *.shar.gz*) \
adamc@1138 530 GZIP=$(GZIP_ENV) gzip -dc $(distdir).shar.gz | unshar ;;\
adamc@1132 531 *.zip*) \
adamc@1132 532 unzip $(distdir).zip ;;\
adamc@1132 533 esac
adamc@1132 534 chmod -R a-w $(distdir); chmod a+w $(distdir)
adamc@1132 535 mkdir $(distdir)/_build
adamc@1132 536 mkdir $(distdir)/_inst
adamc@1132 537 chmod a-w $(distdir)
adamc@1132 538 test -d $(distdir)/_build || exit 0; \
adamc@1132 539 dc_install_base=`$(am__cd) $(distdir)/_inst && pwd | sed -e 's,^[^:\\/]:[\\/],/,'` \
adamc@1132 540 && dc_destdir="$${TMPDIR-/tmp}/am-dc-$$$$/" \
adamc@1132 541 && am__cwd=`pwd` \
adamc@1132 542 && $(am__cd) $(distdir)/_build \
adamc@1132 543 && ../configure --srcdir=.. --prefix="$$dc_install_base" \
adamc@1132 544 $(DISTCHECK_CONFIGURE_FLAGS) \
adamc@1132 545 && $(MAKE) $(AM_MAKEFLAGS) \
adamc@1132 546 && $(MAKE) $(AM_MAKEFLAGS) dvi \
adamc@1132 547 && $(MAKE) $(AM_MAKEFLAGS) check \
adamc@1132 548 && $(MAKE) $(AM_MAKEFLAGS) install \
adamc@1132 549 && $(MAKE) $(AM_MAKEFLAGS) installcheck \
adamc@1132 550 && $(MAKE) $(AM_MAKEFLAGS) uninstall \
adamc@1132 551 && $(MAKE) $(AM_MAKEFLAGS) distuninstallcheck_dir="$$dc_install_base" \
adamc@1132 552 distuninstallcheck \
adamc@1132 553 && chmod -R a-w "$$dc_install_base" \
adamc@1132 554 && ({ \
adamc@1132 555 (cd ../.. && umask 077 && mkdir "$$dc_destdir") \
adamc@1132 556 && $(MAKE) $(AM_MAKEFLAGS) DESTDIR="$$dc_destdir" install \
adamc@1132 557 && $(MAKE) $(AM_MAKEFLAGS) DESTDIR="$$dc_destdir" uninstall \
adamc@1132 558 && $(MAKE) $(AM_MAKEFLAGS) DESTDIR="$$dc_destdir" \
adamc@1132 559 distuninstallcheck_dir="$$dc_destdir" distuninstallcheck; \
adamc@1132 560 } || { rm -rf "$$dc_destdir"; exit 1; }) \
adamc@1132 561 && rm -rf "$$dc_destdir" \
adamc@1132 562 && $(MAKE) $(AM_MAKEFLAGS) dist \
adamc@1132 563 && rm -rf $(DIST_ARCHIVES) \
adamc@1132 564 && $(MAKE) $(AM_MAKEFLAGS) distcleancheck \
adamc@1132 565 && cd "$$am__cwd" \
adamc@1132 566 || exit 1
adamc@1132 567 $(am__remove_distdir)
adamc@1132 568 @(echo "$(distdir) archives ready for distribution: "; \
adamc@1132 569 list='$(DIST_ARCHIVES)'; for i in $$list; do echo $$i; done) | \
adamc@1132 570 sed -e 1h -e 1s/./=/g -e 1p -e 1x -e '$$p' -e '$$x'
adamc@1132 571 distuninstallcheck:
adamc@1132 572 @$(am__cd) '$(distuninstallcheck_dir)' \
adamc@1132 573 && test `$(distuninstallcheck_listfiles) | wc -l` -le 1 \
adamc@1132 574 || { echo "ERROR: files left after uninstall:" ; \
adamc@1132 575 if test -n "$(DESTDIR)"; then \
adamc@1132 576 echo " (check DESTDIR support)"; \
adamc@1132 577 fi ; \
adamc@1132 578 $(distuninstallcheck_listfiles) ; \
adamc@1132 579 exit 1; } >&2
adamc@1132 580 distcleancheck: distclean
adamc@1132 581 @if test '$(srcdir)' = . ; then \
adamc@1132 582 echo "ERROR: distcleancheck can only run from a VPATH build" ; \
adamc@1132 583 exit 1 ; \
adamc@1132 584 fi
adamc@1132 585 @test `$(distcleancheck_listfiles) | wc -l` -eq 0 \
adamc@1132 586 || { echo "ERROR: files left in build directory after distclean:" ; \
adamc@1132 587 $(distcleancheck_listfiles) ; \
adamc@1132 588 exit 1; } >&2
adamc@1132 589 check-am: all-am
adamc@1132 590 check: check-recursive
adamc@1132 591 all-am: Makefile all-local
adamc@1132 592 installdirs: installdirs-recursive
adamc@1132 593 installdirs-am:
adamc@1132 594 install: install-recursive
adamc@1132 595 install-exec: install-exec-recursive
adamc@1132 596 install-data: install-data-recursive
adamc@1132 597 uninstall: uninstall-recursive
adamc@1132 598
adamc@1132 599 install-am: all-am
adamc@1132 600 @$(MAKE) $(AM_MAKEFLAGS) install-exec-am install-data-am
adamc@1132 601
adamc@1132 602 installcheck: installcheck-recursive
adamc@1132 603 install-strip:
adamc@1132 604 $(MAKE) $(AM_MAKEFLAGS) INSTALL_PROGRAM="$(INSTALL_STRIP_PROGRAM)" \
adamc@1132 605 install_sh_PROGRAM="$(INSTALL_STRIP_PROGRAM)" INSTALL_STRIP_FLAG=-s \
adamc@1132 606 `test -z '$(STRIP)' || \
adamc@1132 607 echo "INSTALL_PROGRAM_ENV=STRIPPROG='$(STRIP)'"` install
adamc@1132 608 mostlyclean-generic:
adamc@1132 609
adamc@1132 610 clean-generic:
adamc@1132 611
adamc@1132 612 distclean-generic:
adamc@1132 613 -test -z "$(CONFIG_CLEAN_FILES)" || rm -f $(CONFIG_CLEAN_FILES)
adamc@1132 614 -test . = "$(srcdir)" || test -z "$(CONFIG_CLEAN_VPATH_FILES)" || rm -f $(CONFIG_CLEAN_VPATH_FILES)
adamc@1132 615
adamc@1132 616 maintainer-clean-generic:
adamc@1132 617 @echo "This command is intended for maintainers to use"
adamc@1132 618 @echo "it deletes files that may require special tools to rebuild."
adamc@1132 619 clean: clean-recursive
adamc@1132 620
adamc@1132 621 clean-am: clean-generic clean-libtool clean-local mostlyclean-am
adamc@1132 622
adamc@1132 623 distclean: distclean-recursive
adamc@1132 624 -rm -f $(am__CONFIG_DISTCLEAN_FILES)
adamc@1132 625 -rm -f Makefile
adamc@1132 626 distclean-am: clean-am distclean-generic distclean-libtool \
adamc@1132 627 distclean-tags
adamc@1132 628
adamc@1132 629 dvi: dvi-recursive
adamc@1132 630
adamc@1132 631 dvi-am:
adamc@1132 632
adamc@1132 633 html: html-recursive
adamc@1132 634
adamc@1132 635 html-am:
adamc@1132 636
adamc@1132 637 info: info-recursive
adamc@1132 638
adamc@1132 639 info-am:
adamc@1132 640
adamc@1132 641 install-data-am:
adamc@1132 642
adamc@1132 643 install-dvi: install-dvi-recursive
adamc@1132 644
adamc@1132 645 install-dvi-am:
adamc@1132 646
adamc@1132 647 install-exec-am: install-exec-local
adamc@1132 648
adamc@1132 649 install-html: install-html-recursive
adamc@1132 650
adamc@1132 651 install-html-am:
adamc@1132 652
adamc@1132 653 install-info: install-info-recursive
adamc@1132 654
adamc@1132 655 install-info-am:
adamc@1132 656
adamc@1132 657 install-man:
adamc@1132 658
adamc@1132 659 install-pdf: install-pdf-recursive
adamc@1132 660
adamc@1132 661 install-pdf-am:
adamc@1132 662
adamc@1132 663 install-ps: install-ps-recursive
adamc@1132 664
adamc@1132 665 install-ps-am:
adamc@1132 666
adamc@1132 667 installcheck-am:
adamc@1132 668
adamc@1132 669 maintainer-clean: maintainer-clean-recursive
adamc@1132 670 -rm -f $(am__CONFIG_DISTCLEAN_FILES)
adamc@1132 671 -rm -rf $(top_srcdir)/autom4te.cache
adamc@1132 672 -rm -f Makefile
adamc@1132 673 maintainer-clean-am: distclean-am maintainer-clean-generic
adamc@1132 674
adamc@1132 675 mostlyclean: mostlyclean-recursive
adamc@1132 676
adamc@1132 677 mostlyclean-am: mostlyclean-generic mostlyclean-libtool
adamc@1132 678
adamc@1132 679 pdf: pdf-recursive
adamc@1132 680
adamc@1132 681 pdf-am:
adamc@1132 682
adamc@1132 683 ps: ps-recursive
adamc@1132 684
adamc@1132 685 ps-am:
adamc@1132 686
adamc@1132 687 uninstall-am:
adamc@1132 688
adamc@1132 689 .MAKE: $(RECURSIVE_CLEAN_TARGETS) $(RECURSIVE_TARGETS) ctags-recursive \
adamc@1132 690 install-am install-strip tags-recursive
adamc@1132 691
adamc@1132 692 .PHONY: $(RECURSIVE_CLEAN_TARGETS) $(RECURSIVE_TARGETS) CTAGS GTAGS \
adamc@1132 693 all all-am all-local am--refresh check check-am clean \
adamc@1132 694 clean-generic clean-libtool clean-local ctags ctags-recursive \
adamc@1132 695 dist dist-all dist-bzip2 dist-gzip dist-lzma dist-shar \
adamc@1132 696 dist-tarZ dist-xz dist-zip distcheck distclean \
adamc@1132 697 distclean-generic distclean-libtool distclean-tags \
adamc@1132 698 distcleancheck distdir distuninstallcheck dvi dvi-am html \
adamc@1132 699 html-am info info-am install install-am install-data \
adamc@1132 700 install-data-am install-dvi install-dvi-am install-exec \
adamc@1132 701 install-exec-am install-exec-local install-html \
adamc@1132 702 install-html-am install-info install-info-am install-man \
adamc@1132 703 install-pdf install-pdf-am install-ps install-ps-am \
adamc@1132 704 install-strip installcheck installcheck-am installdirs \
adamc@1132 705 installdirs-am maintainer-clean maintainer-clean-generic \
adamc@1132 706 mostlyclean mostlyclean-generic mostlyclean-libtool pdf pdf-am \
adamc@1132 707 ps ps-am tags tags-recursive uninstall uninstall-am
adamc@1132 708
adamc@1132 709
adamc@1132 710 all-local: smlnj mlton
adamc@1132 711
adamc@1133 712 .PHONY: smlnj mlton package reauto
adamc@378 713
adamc@378 714 smlnj: src/urweb.cm
adamc@378 715 mlton: bin/urweb
adamc@855 716
adamc@1132 717 clean-local:
adamc@378 718 rm -f src/*.mlton.grm.* src/*.mlton.lex.* \
adamc@1132 719 src/urweb.cm src/urweb.mlb
adamc@378 720 rm -rf .cm src/.cm
adamc@378 721
adamc@378 722 src/urweb.cm: src/prefix.cm src/sources
adamc@378 723 cat src/prefix.cm src/sources \
adamc@378 724 >src/urweb.cm
adamc@378 725
adamc@378 726 src/urweb.mlb: src/prefix.mlb src/sources src/suffix.mlb
adamc@378 727 cat src/prefix.mlb src/sources src/suffix.mlb \
adamc@1159 728 | sed -e 's/^\(.*\).grm$$/\1.mlton.grm.sig:\1.mlton.grm.sml/' -e 'y/:/\n/' \
adamc@1159 729 -e 's/^\(.*\).lex$$/\1.mlton.lex.sml/' \
adamc@791 730 >$@
adamc@378 731
adamc@1154 732 src/urweb.mlton.lex: src/urweb.lex
adamc@378 733 cp $< $@
adamc@1154 734 src/urweb.mlton.grm: src/urweb.grm
adamc@378 735 cp $< $@
adamc@378 736
adamc@1154 737 src/urweb.mlton.lex.sml: src/urweb.mlton.lex
adamc@378 738 mllex $<
adamc@378 739
adamc@1154 740 src/urweb.mlton.grm.sig src/urweb.mlton.grm.sml: src/urweb.mlton.grm
adamc@378 741 mlyacc $<
adamc@378 742
adamc@1132 743 #ifdef DEBUG
adamc@1132 744 # MLTON += -const 'Exn.keepHistory true'
adamc@1132 745 #endif
adamc@378 746
adamc@1132 747 #ifdef PROFILE
adamc@1132 748 # MLTON += -profile $(PROFILE)
adamc@1132 749 #endif
adamc@507 750
adamc@791 751 bin/urweb: src/compiler.mlb src/urweb.mlb src/*.sig src/*.sml \
adamc@378 752 src/urweb.mlton.lex.sml \
adamc@378 753 src/urweb.mlton.grm.sig src/urweb.mlton.grm.sml
adamc@791 754 $(MLTON) -output $@ src/compiler.mlb
adamc@378 755
adamc@1132 756 install-exec-local:
adamc@430 757 mkdir -p $(BIN)
adamc@378 758 cp bin/urweb $(BIN)/
adamc@378 759 mkdir -p $(LIB_UR)
adamc@602 760 cp lib/ur/*.urs $(LIB_UR)/
adamc@602 761 cp lib/ur/*.ur $(LIB_UR)/
adamc@569 762 mkdir -p $(LIB_JS)
adamc@602 763 cp lib/js/*.js $(LIB_JS)/
adamc@378 764 mkdir -p $(INCLUDE)
adamc@378 765 cp include/*.h $(INCLUDE)/
adamc@378 766 mkdir -p $(SITELISP)
adamc@378 767 cp src/elisp/*.el $(SITELISP)/
adamc@1134 768 -ldconfig
adamc@427 769
adamc@427 770 package:
adamc@427 771 hg archive -t tgz -X tests /tmp/urweb.tgz
adamc@1132 772
adamc@1133 773 reauto:
adamc@1136 774 -autoreconf
adamc@1133 775 libtoolize -cf
adamc@1133 776 automake --add-missing --force-missing --copy
adamc@1133 777 autoreconf
adamc@1133 778
adamc@1132 779 # Tell versions [3.59,3.63) of GNU make to not export all variables.
adamc@1132 780 # Otherwise a system limit (for SysV at least) may be exceeded.
adamc@1132 781 .NOEXPORT: