[m-rev.] diff: fixes related to philo3.m

[Fergus Henderson]

Estimated hours taken: 0.25
Branches: main

extras/concurrency/README:
	Fix some documentation rot: mention the philo3 example.

extras/concurrency/Mmakefile:
	Include `philo3' in the test cases.

Workspace: /home/earth/fjh/ws-earth3/mercury
Index: extras/concurrency/Mmakefile
===================================================================
RCS file: /home/mercury1/repository/mercury/extras/concurrency/Mmakefile,v
retrieving revision 1.3
diff -u -d -r1.3 Mmakefile
--- extras/concurrency/Mmakefile	22 Nov 2001 10:37:48 -0000	1.3
+++ extras/concurrency/Mmakefile	22 Nov 2001 10:49:42 -0000
@@ -8,8 +8,10 @@
 
 default_target: tests
 
-depend:		philo.depend philo2.depend midimon.depend
-tests:		philo philo2 midimon
+TESTS = philo philo2 philo3 midimon
+
+depend:		$(TESTS:%=%.depend)
+tests:		$(TESTS)
 
 .PHONY: check
 check: tests
Index: extras/concurrency/README
===================================================================
RCS file: /home/mercury1/repository/mercury/extras/concurrency/README,v
retrieving revision 1.2
diff -u -d -r1.2 README
--- extras/concurrency/README	8 Sep 2000 09:14:53 -0000	1.2
+++ extras/concurrency/README	22 Nov 2001 10:48:18 -0000
@@ -1,13 +1,15 @@
 This directory contains stuff for doing coroutining with deterministic goals.
-See the two example programs:
-	philo	- the dining philosophers example
-	philo2  - the dining philosophers example using mutvars for
-		  synchronisation
+See the example programs:
+	philo, philo2, philo3
+		- several variants on the dining philosophers example.
+		  philo uses a single semaphone for synchronization,
+		  philo2 uses a single mvar,
+		  while philo3 uses one semaphore per fork.
 	midimon	- a midi data monitor that concurrently reads the bytestream,
 		  parses the MIDI messages, and writes out the results.
 		  A file `midi_data' has been included which contains some midi
 		  data you can test the program with. MIDI (Musical Instrument
 		  Digital Interface) is a hardware and software protocol for
-		  electronic musical instruments (eg synthesizers) to talk to
+		  electronic musical instruments (e.g. synthesizers) to talk to
 		  each other.
 

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