HOL4/polyml/Makefile.in

19 VPATH = @srcdir@
113 DIST_COMMON = $(srcdir)/Makefile.am $(top_srcdir)/configure \
142 am__vpath_adj_setup = srcdirstrip=`echo "$(srcdir)" | sed 's|.|.|g'`;
144     $(srcdir)/*) f=`echo "$$p" | sed "s|^$$srcdirstrip/||"`;; \
150   srcdirstrip=`echo "$(srcdir)" | sed 's/[].[^$$\\*|]/\\\\&/g'`
247     if test -f "$$i"; then echo $$i; else echo $(srcdir)/$$i; fi; \
252 am__DIST_COMMON = $(srcdir)/Makefile.in $(srcdir)/config.h.in \
253 	$(srcdir)/polyc.in COPYING compile config.guess config.sub \
432 srcdir = @srcdir@
449 @ARCHI386_FALSE@@ARCHINTERPRET64_FALSE@@ARCHINTERPRET_FALSE@@ARCHX86_64_TRUE@@WINDOWS64CALLS_FALSE@POLYIMPORT = $(srcdir)/imports/polymlx86_64sysv.txt
450 @ARCHI386_FALSE@@ARCHINTERPRET64_FALSE@@ARCHINTERPRET_FALSE@@ARCHX86_64_TRUE@@WINDOWS64CALLS_TRUE@POLYIMPORT = $(srcdir)/imports/polymlx86_64win.txt
451 @ARCHI386_FALSE@@ARCHINTERPRET64_TRUE@@ARCHINTERPRET_FALSE@POLYIMPORT = $(srcdir)/imports/polymlint64.txt
452 @ARCHI386_FALSE@@ARCHINTERPRET_TRUE@POLYIMPORT = $(srcdir)/imports/polymlint.txt
455 @ARCHI386_TRUE@POLYIMPORT = $(srcdir)/imports/polymli386.txt
487 $(srcdir)/Makefile.in: @MAINTAINER_MODE_TRUE@ $(srcdir)/Makefile.am  $(am__configure_deps)
491 	      echo ' cd $(srcdir) && $(AUTOMAKE) --foreign'; \
492 	      $(am__cd) $(srcdir) && $(AUTOMAKE) --foreign \
500 Makefile: $(srcdir)/Makefile.in $(top_builddir)/config.status
514 	$(am__cd) $(srcdir) && $(AUTOCONF)
516 	$(am__cd) $(srcdir) && $(ACLOCAL) $(ACLOCAL_AMFLAGS)
523 stamp-h1: $(srcdir)/config.h.in $(top_builddir)/config.status
526 $(srcdir)/config.h.in: @MAINTAINER_MODE_TRUE@ $(am__configure_deps)
533 polyc: $(top_builddir)/config.status $(srcdir)/polyc.in
600 	  if test -f "$$p"; then d=; else d="$(srcdir)/"; fi; \
680 	  if test -f $$p; then d=; else d="$(srcdir)/"; fi; \
799 	case "$(srcdir)" in \
800 	  [\\/]* | ?:[\\/]*) sdir="$(srcdir)" ;; \
801 	  *) sdir=$(subdir)/$(srcdir) ;; \
818 	@srcdirstrip=`echo "$(srcdir)" | sed 's/[].[^$$\\*]/\\\\&/g'`; \
830 	  if test -f $$file || test -d $$file; then d=.; else d=$(srcdir); fi; \
836 	    if test -d $(srcdir)/$$file && test $$d != $(srcdir); then \
837 	      cp -fpR $(srcdir)/$$file "$(distdir)$$dir" || exit 1; \
953 	    --srcdir=../.. --prefix="$$dc_install_base" \
998 	@if test '$(srcdir)' = . ; then \
1040 	-test . = "$(srcdir)" || test -z "$(CONFIG_CLEAN_VPATH_FILES)" || rm -f $(CONFIG_CLEAN_VPATH_FILES)
1155 	./polyimport $(POLYIMPORT_OPTIONS) polytemp.txt -I $(srcdir) < $(srcdir)/exportPoly.sml
1159 	./polyimport $(POLYIMPORT_OPTIONS) polytemp.txt -I $(srcdir) < $(srcdir)/exportPoly.sml | cat
1162 	$(WINDRES) -o polyresource.o $(srcdir)/PolyML.rc
1184 	echo "val () = use \"$(srcdir)/Tests/RunTests\"; val () = OS.Process.exit(if runTests \"$(srcdir)/Tests\" then OS.Process.success else OS.Process.failure):unit;" | ./poly