| changeset 52 | c7031f15125d |
| parent 49 | 4b9d1a7e6861 |
| child 54 | 6bef2082e5f9 |
| 51:dd1a2998d220 | 52:c7031f15125d |
|---|---|
35 Then do: |
35 Then do: |
36 |
36 |
37 $ mkdir build |
37 $ mkdir build |
38 $ cd build |
38 $ cd build |
39 $ cmake .. |
39 $ cmake .. |
40 $ cmake edit_cache |
40 $ make edit_cache |
41 $ make |
41 $ make |
42 # make install |
42 # make install |
43 |
43 |
44 Debian users can instead of make install do: |
44 Debian users can instead of make install do: |
45 |
45 |