Skip to content

Latest commit

 

History

History

morphine

* Morphine is a Copyright (C) 1999 INRIA/INSA de Rennes, under the GNU/GPL Licence.

				-o-

* Morphine, a trace analysis system for Mercury

Program execution traces given by traditional debuggers provide programmers
with useful pieces of information. However, using them requires to analyse by
hand huge amounts of information. Morphine is connected to the traditional
tracer of Mercury; it allows execution trace analyses to be automated. It
provides a relational trace query language based on Prolog which enables users
to specify precisely what they want to see in the trace. Morphine, then,
automatically filters out information irrelevant for the users.

Morphine provides users a langage to write their own debugging primitives
(Prolog + 2 primitives connected to the Mercury trace system) and their own
monitors (see the `collect' command).

				-o-

* Morphine installation

To install Morphine, you just need to:

1) Run the script `INSTALL-MORPHINE' (that creates the `morphine' script in 
   the `morphine/scripts/' directory).
2) Add directories ` morphine/scripts/' and `morphine/bin/' in your `PATH' 
   environment variable. Make sure that the executables `mmc' and `eclipse' 
   are also accessible from your `PATH'. 


Note that Morphine requires ECLiPSe, a Prolog system which is free to
universities and non-profit research institutions. You can download it at
`http://www.icparc.ic.ac.uk/eclipse/'. Also make sure that the package
eclipse_misc.tgz has been downloaded (i.e. if there exists a directory named
`lib_pd' in the ECLiPSe installation directory); Morphine needs it.

Morphine does not require Mercury to be installed, but you might also want to
install it ;-)

				-o-

* The current release of Morphine has been tested with the following 
  configurations: 

o Architectures: sparc/Solaris2.[5,6,7] and i686/Linux kernel 2.0
o ECLiPSe 4.1 or later
o Mercury: later than 1999-15-10 release of the day, or version 0.9 or later.

				-o-

For more information about Morphine, including a tutorial on how to use
the system, please look at the Morphine web site:

http://www.irisa.fr/lande/jahier/download.html

				-o-