repos
/
cl-unification
/ annotate_shade
summary
|
shortlog
|
log
|
tree
|
commit
|
commitdiff
|
headdiff
|
annotate
|
headblob
|
headfilediff
|
filehistory
normal
|
plain
|
shade
|
zebra
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