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