[m-rev.] trivial diff: delete top-level install_split_library target

[Julien Fischer]

Estimated hours taken: 0.1
Branches: main

Mmakefile:
 	Delete the install_split_library target.  It is no longer
 	needed since we don't support --split-c-files anymore.

Julien.

Index: Mmakefile
===================================================================
RCS file: /home/mercury/mercury1/repository/mercury/Mmakefile,v
retrieving revision 1.117
diff -u -r1.117 Mmakefile
--- Mmakefile	24 Nov 2006 03:47:46 -0000	1.117
+++ Mmakefile	8 Jan 2007 06:25:37 -0000
@@ -614,40 +614,6 @@
  	done
  	if test ! -f .leave_tmp_dir; then rm -fr tmp_dir; fi

-.PHONY: install_split_library
-install_split_library: scripts dep_library
-	#
-	# Use the newly installed compiler to build the libraries
-	# in various different grades.  We need to override MC=mmc
-	# so that we use the mmc from the scripts directory, which
-	# runs the newly installed compiler, rather than using the
-	# bootstrap compiler.
-	#
-	+cd library && \
-	rm -rf tmp_dir && \
-	mkdir tmp_dir && \
-	for ext in $(GRADE_SUBDIR_EXTS); do \
-		mv -f *.$$ext Mercury/$${ext}s/*.$$ext tmp_dir; \
-	done || true && \
-	{ mv -f $(deps_subdir)*.dep $(deps_subdir)*.dv *.$O Mercury/os/*.$O \
-		*.$A *.so tmp_dir || true; } && \
-	for grade in x $(LIBGRADES); do \
-	    if [ "$$grade" != "x" ]; then \
-	        $(SUBDIR_MMAKE) MC=mmc GRADE=$$grade depend && \
-	        $(SUBDIR_MMAKE) MC=mmc GRADE=$$grade install_split_library || \
-			{ scripts/mercury_cleanup_install; exit 1; }; \
-		for ext in $(GRADE_SUBDIR_EXTS); do \
-			rm -f *.$$ext Mercury/$${ext}s/*.$$ext; \
-		done; \
-		rm -f *.$O Mercury/os/*.$O *.$A *.so; \
-	    fi; \
-	done && \
-	{ for ext in $(GRADE_SUBDIR_EXTS); do \
-	    [ -d Mercury/$${ext}s ] && mv tmp_dir/*.$$ext Mercury/$${ext}s; \
-	done; \
-	mv tmp_dir/*.dep tmp_dir/*.dv $(deps_subdir).; \
-	mv tmp_dir/* . ; rmdir tmp_dir; true; }
-
  #-----------------------------------------------------------------------------#
  #
  # Various horrible hacks for gnu-win32 on Windows.

--------------------------------------------------------------------------
mercury-reviews mailing list
Post messages to:       mercury-reviews at csse.unimelb.edu.au
Administrative Queries: owner-mercury-reviews at csse.unimelb.edu.au
Subscriptions:          mercury-reviews-request at csse.unimelb.edu.au
--------------------------------------------------------------------------