Skip to content

Commit 0850cd3

Browse files
committed
another docs fix
1 parent 6a2a752 commit 0850cd3

File tree

1 file changed

+5
-0
lines changed

1 file changed

+5
-0
lines changed

docs/source/ubuntu1404_fix.rst

Lines changed: 5 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -4,19 +4,22 @@ Fixing segmentation fault on exit on Ubuntu 14.04
44
* On Ufal machines, segfault can be prevented by doing this:
55

66
.. code-block:: bash
7+
78
export LD_PRELOAD=/home/helcl/lib/libtcmalloc_minimal.so.4
89
bin/neuralmonkey-train tests/vocab.ini
910
1011
* On machines with ``sudo``, one can do this:
1112

1213
.. code-block:: bash
14+
1315
sudo apt-get install libtcmalloc-minimal4
1416
export LD_PRELOAD="/usr/lib/libtcmalloc_minimal.so.4"
1517
1618
* On machines with neither ``sudo`` nor
1719
``~helcl/lib/libtcmalloc_minimal.so.4``, this is the way to fix segfaulting:
1820

1921
.. code-block:: bash
22+
2023
wget http://archive.ubuntu.com/ubuntu/pool/main/g/google-perftools/google-perftools_2.1.orig.tar.gz
2124
tar xpzvf google-perftools_2.1.orig.tar.gz
2225
cd gperftools-2.1/
@@ -28,6 +31,7 @@ if the compilation crashes on the need of the ``libunwind`` library (as did for
2831
me), do this:
2932

3033
.. code-block:: bash
34+
3135
wget http://download.savannah.gnu.org/releases/libunwind/libunwind-0.99-beta.tar.gz
3236
tar xpzvf libunwind-0.99-beta.tar.gz
3337
cd libunwind-0.99-beta/
@@ -42,6 +46,7 @@ with ``make CFLAGS+=-U_FORTIFY_SOURCE`` command.
4246
Then, in ``$HOME/share`` directory, create file ``config.site`` like this:
4347

4448
.. code-block:: bash
49+
4550
cat << EOF > $HOME/share/config.site
4651
CPPFLAGS=-I$HOME/include
4752
LDFLAGS=-L$HOME/lib

0 commit comments

Comments
 (0)