/
/INSTALLATION
 1 CL-UNIFICATION INSTALLATION
 2 
 3 The package comes with a MK:DEFSYSTEM definition:
 4 "unification.system".
 5 
 6 Issuing
 7 
 8 	(mk:load-system "CL-UNIFICATION")
 9 
10 or
11 
12 	(mk:compile-system "CL-UNIFICATION")
13 
14 will make the UNIFY package available.
15 
16 There is also an ASDF system definition for those who use this system.
17 
18 Issuing
19 
20 	(asdf:oos 'asdf:load-op "CL-UNIFICATION")
21 
22 should make the library available in your environment.
23 
24 If your CL implementation is ASDF-INSTALL aware, you should also be
25 able to just say
26 
27         (asdf-install:install "CL-UNIFICATION")
28 
29 provided that the package is unpacked in an ASDF-INSTALL known
30 directory.
31 
32 Enjoy