[m-rev.] trivial diff: install gc_mark.h

Fergus Henderson fjh at cs.mu.OZ.AU
Thu Sep 5 18:38:24 AEST 2002


Branches: main
Estimated hours taken: 0.25

Fix a bug introduced when I updated to gc6.1alpha5.

boehm_gc/Mmakefile:
	Install gc_mark.h.  This is needed for compiling with `--inline-alloc'.

Workspace: /home/ceres/fjh/ws-ceres2/mercury
Index: boehm_gc/Mmakefile
===================================================================
RCS file: /home/mercury1/repository/mercury/boehm_gc/Mmakefile,v
retrieving revision 1.19
diff -u -d -r1.19 Mmakefile
--- boehm_gc/Mmakefile	29 Apr 2002 08:21:59 -0000	1.19
+++ boehm_gc/Mmakefile	5 Sep 2002 08:35:45 -0000
@@ -61,12 +61,12 @@
 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_local_alloc.h), we also install gc_inl.h (and hence gc_priv.h, gc_mark.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)
+	include/gc_inl.h include/gc_mark.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
 

-- 
Fergus Henderson <fjh at cs.mu.oz.au>  |  "I have always known that the pursuit
The University of Melbourne         |  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
--------------------------------------------------------------------------



More information about the reviews mailing list