[m-rev.] diff: fix boehm gc `mmake install' problem

[Fergus Henderson]

Estimated hours taken: 0.5
Branches: main

boehm_gc/Mmakefile:
	Update the list of the GC header files to install to match
	the files needed for the Boehm gc release 6.0alpha6.

Workspace: /home/hg/fjh/ws-hg3/mercury
Index: boehm_gc/Mmakefile
===================================================================
RCS file: /home/mercury1/repository/mercury/boehm_gc/Mmakefile,v
retrieving revision 1.17
diff -c -d -r1.17 Mmakefile
*** boehm_gc/Mmakefile	2001/03/16 01:40:33	1.17
--- boehm_gc/Mmakefile	2001/04/17 05:56:26
***************
*** 59,71 ****
  .PHONY: install
  install: install_headers install_lib install_dll
  
! # As well as installing gc.h, we also install gc_inl.h (and hence
! # private/gc_priv.h, private/gc_hdrs.h, and private/gcconfig.h),
! # for use with `-DINLINE_ALLOC'.
  # If we're using DLLs, we also want libgc_dll.h and libgc_globals.h.
  
! HEADERS=gc.h include/gc_inl.h $(LIBGC_DLL_H) $(LIBGC_GLOBALS_H)
! PRIVATE_HEADERS=gc_priv.h gc_hdrs.h gcconfig.h
  
  ifeq ($(USE_DLLS),yes)
  
--- 59,73 ----
  .PHONY: install
  install: install_headers install_lib install_dll
  
! # As well as installing gc.h (and hence gc_pthread_redirects.h and
! # gc_local_alloc.h), we also install gc_inl.h (and hence gc_priv.h,
! # gc_hdrs.h, gc_locks.h, and gcconfig.h), for use with `-DINLINE_ALLOC'.
  # If we're using DLLs, we also want libgc_dll.h and libgc_globals.h.
  
! HEADERS=include/gc.h include/gc_pthread_redirects.h include/gc_local_alloc.h \
! 	include/gc_inl.h $(LIBGC_DLL_H) $(LIBGC_GLOBALS_H)
! PRIVATE_HEADERS=include/private/gc_priv.h include/private/gc_hdrs.h \
! 	include/private/gc_locks.h include/private/gcconfig.h
  
  ifeq ($(USE_DLLS),yes)
  
-- 
Fergus Henderson <fjh at cs.mu.oz.au>  |  "I have always known that the pursuit
                                    |  of excellence is a lethal habit"
WWW: <http://www.cs.mu.oz.au/~fjh>  |     -- the last words of T. S. Garp.
--------------------------------------------------------------------------
mercury-reviews mailing list
post:  mercury-reviews at cs.mu.oz.au
administrative address: owner-mercury-reviews at cs.mu.oz.au
unsubscribe: Address: mercury-reviews-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-reviews-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------