Mercurial > urweb

annotate Makefile.in @ 1895:2eabe66daef6

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