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
60
61
62
63
64
65
66
|
MMOOCCKKAA
MMoodduullaa--22 CCoommppiilleerr KKaarrllssrruuhhee
IInnssttaallllaattiioonn NNootteess
ffoorr
LLiinnuuxx//xx8866
Universitaet Karlsruhe
Institut fuer Programm- und Datenstrukturen
Zirkel 2
D-76131 Karlsruhe
11.. TThhee ddiissttrriibbuuttiioonn ffoorrmmaatt
MOCKA is distributed on tape. The tape is written in TAR
format. To read the tape issue
The distribution tape contains several directories
bin - the mc commands.
sys - scripts and programs used by mc.
lib - the system library.
reuse - if present, another library
(incompatible with lib)
src - if present, the compiler source.
man1 - the manual page "mc.1".
The tape does not contain absolute path names.
22.. IInnssttaalllliinngg MMOOCCKKAA
The files on the distribution tape are prepared for instal-
lation in the directory
_/_u_s_r_/_l_o_c_a_l_/_l_i_b_/_m_o_c_k_a
If you want to install MOCKA there cd to that directory and
read the tape. Then you are ready to invoke the compiler
using
_/_u_s_r_/_l_o_c_a_l_/_l_i_b_/_m_o_c_k_a_/_b_i_n_/_m_c
If you want to install MOCKA somewhere else create a new
directory, cd to that directory and read the tape. Then you
have to assign the shell variable _M_O_C_K_A_D_I_R in the command
file _b_i_n_/_m_c the absolute pathname of the installation direc-
tory.
33.. NNoottee
The current version of Mocka is 9905.
|
