-I: indicates the location of the header files
-l: indicates we want to use the CVC4 libraries
-L: where the implementation of the header files can be found
Run g++ -I<path-to-rapidnet>/src/rapidnet-compiler -<path-to-rapidnet>/lkloh/rapidnet/src/rapidnet-compiler <file-using-data-structures>.cc -o <file-using-data-structures> -lcvc4
Example: I clone this folder to my home directory, with path /home/lkloh. To run the file hellpeworld.cpp which sources the data structure files from rapidnet, I cd into the location where helloworld.cpp may be found, and type:
g++ -I/home/lkloh/rapidnet/src/rapidnet-compiler -L/home/lkloh/rapidnet/src/rapidnet-compiler helloworld.cpp -o helloworld -lcvc4
At the top level of the repository, type
find . -name .DS_Store -print0 | xargs -0 git rm -f --ignore-unmatch
As suggested here.
There is an issue with building rapidnet on Ubuntu 16.04 (and higher). If one tries to build using ./waf An error occurs in the Scripting.py file. To resolve this issue either change line 190 from
"for incstr in Utils.cmd_output(\"%s %s --includes\"%(python,python_config)).strip().split():"
to
"for incstr in Utils.cmd_output(\"%s --includes\"%(python_config)).strip().split():
or use build.sh to build the project initially.
In the command line, cd into the rapidnet folder. Get the entire path the the NDLog file you want to run <path-to-file>/<My-NDLog-Program>.olg. Run
./rapidnet/dpcompiler/dpcompile <path-to-file>/<My-NDLog-Program>.olg
In NDLog Programs, all string constants must be assigned a value larger than 1000 using
#define <STR-CONSTANT-NAME> value
where value > 1000, so we know it is a string constant. (March 12, 2015)
- Upenn Tutorial
- Rapidnet-A small tutorial.pdf
For any queries or questions, kindly send us an email to [email protected]. Thank you!