[m-rev.] diff: require the installed compiler support will_not_modify_trail

[Julien Fischer]

Estimated hours taken: 0.1
Branches: main

configure.in:
	Require that the installed compiler supports the
	will_not_modify_trail/may_modify_trail foreign code attributes.
Julien.

Index: configure.in
===================================================================
RCS file: /home/mercury1/repository/mercury/configure.in,v
retrieving revision 1.440
diff -u -r1.440 configure.in
--- configure.in	15 Nov 2005 06:53:18 -0000	1.440
+++ configure.in	29 Nov 2005 03:59:17 -0000
@@ -270,7 +270,7 @@

 		:- pragma foreign_proc("C", return_rtti_version(Version::out),
 			[[may_call_mercury, promise_pure, terminates,
-			  ordinary_despite_detism]], "
+			  ordinary_despite_detism, will_not_modify_trail]], "
 			Version = MR_RTTI_VERSION;
 		").


--------------------------------------------------------------------------
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
--------------------------------------------------------------------------