-
Notifications
You must be signed in to change notification settings - Fork 7
/
README.old
59 lines (44 loc) · 1.42 KB
/
README.old
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
This tar file contains:
Makefile - to build DrIFT
*.hs,*.lhs - DrIFT source code
example/ - simple example files to test DrIFT on.
docs/ - documentation in texinfo format
History
-------
Development Taken over by John Meacham ([email protected]) in April of 2002
see ChangeLog for changes since 1.1
(Changes by [email protected], 1999)
Updated sources to Haskell 98. Added derivation of class Binary and
class Haskell2Xml. Changed Main.main to place results on stdout instead
of overwriting original file. Have not tried using Makefile recently; I
use hmake instead.
Building DrIFT
--------------
depending on your system you should type one of the following:
hmake DrIFT
make
Installation
------------
copy the 'DrIFT' executable to somewhere on your path
set DERIVEPATH to the list of directories you wish to search for for
modules / interfaces.
DERIVEPATH is quite fussy about the format the list should take :-
* each path should be separated by ':'
* no space inserted anywhere
* no final '/' on the end of a path
e.g.
good - /users/grad/nww/share/hugs/lib:/users/grad/nww/share/hugs/lib/hugs
bad - /users/grad/nww/share/hugs/lib/:/users/grad/nww/share/hugs/lib/hugs/
Running DrIFT
--------------
DrIFT foo.drift.hs -o foo.hs
DrIFT foo.hs -r -o foo_derivations.hs
Homepage
--------
http://homer.netmar.com/~john/computer/haskell/DrIFT/
Authors
-------
Noel Winstanley
Malcolm Wallace
Joost Visser
John Meacham