Cleanup

COMPILING.rst

@@ -48,13 +48,12 @@ The following steps assume that you have a Debian/Ubuntu distribution:
    ``PATH``, and typing ``llvm-config-3.7 --prefix`` should print the
    installation path of LLVM 3.7.
 
-3. Download and compile `v0.1.0 <https://github.com/cesaro/steroids/releases/tag/v0.1.0>`__
+3. Download and compile `v0.2.0 <https://github.com/cesaro/steroids/releases/tag/v0.2.0>`__
    of the `Steroids dynamic analysis <https://github.com/cesaro/steroids>`__
    library. Using a different version of steroids may break the compilation or
    performance of DPU.
 
-4. Download and compile the `latest release available
-   <https://github.com/cesaro/dpu/releases>`__ for the DPU tool.
+4. Download and compile the `latest release`_ available.
 
 5. Edit the file `<config.mk>`__. Update the value of the variable
    ``CONFIG_STEROIDS_ROOT`` to point to the root of the steroids project.
@@ -86,3 +85,5 @@ Alternatively, you may update the value of the variable ``CONFIG_PREFIX`` in the
 `<config.mk>`__ file. This way, ``make`` will copy the ``dist`` folder to the
 installation directory every time you type ``make install``.
 
+.. _latest release : https://github.com/cesaro/dpu/releases/latest
+

Makefile

@@ -27,15 +27,18 @@ dist : compile $(CONFIG_STEROIDS_ROOT)/rt/rt.bc
 	rm -Rf dist/
 	mkdir dist/
 	mkdir dist/bin
+	mkdir dist/include
 	mkdir dist/lib
 	mkdir dist/lib/dpu
 
 	cp src/driver.sh dist/bin/dpu
 	cp src/main dist/lib/dpu/dpu-backend
-	cp $(CONFIG_STEROIDS_ROOT)/rt/rt.bc dist/lib/dpu/
+	cp rt/verifier.h dist/include
+	llvm-link-3.7 $(CONFIG_STEROIDS_ROOT)/rt/rt.bc rt/verifier.bc -o dist/lib/dpu/rt.bc
 
 compile :
 	+make -f src/Makefile R=. $@
+	+make -f rt/Makefile R=. $@
 
 run: dist
 	./dist/bin/dpu benchmarks/basic/cjlu.c -vv --dot u.dot -- p main3
@@ -73,6 +76,7 @@ release : dist
 clean : clean_
 clean_ :
 	make -f src/Makefile R=. clean
+	make -f rt/Makefile R=. clean
 	make -f tests/unit/Makefile R=. clean
 	make -f tests/regression/Makefile R=. clean
 	rm -f u.dot

README.rst

@@ -83,7 +83,7 @@ The following steps assume that you have a Debian/Ubuntu distribution:
 3. The DPU tool is located in the ``dpu-vx.x.x/bin`` folder of the
    downloaded package. You can either run DPU from there or update your
    ``$PATH`` variable to include this folder. In the second case add the
-   following line to your ``~/.bashrc`` file::
+   following line to your ``~/.bashrc`` file *and* restart your teminal::
 
     export PATH=$PATH:/path/to/dpu-vx.x.x/bin