annotate Makefile.in @ 1895:2eabe66daef6

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: