Verifying, Building and Installing überSpark Libraries¶
The überSpark core libraries provide commonly used runtime functionality for a uberobject. The core libraries current comprise a tiny C runtime library, a fledging crypto library (currently SHA-1 supported) and a library for platform hardware access.
This section of the documentation will describe how you can verify, build and install the aforementioned libraries. For the subsections that follow, you need to be in the top-level of the überSpark source repository.
Verifying überSpark Libraries¶
To verify the überSpark libraries first switch to the überSpark library sources:
cd src/libs
Then prepare for verification and subsequent build:
./bsconfigure.sh
./configure
And, finally verify the libraries using:
make verify-ubersparklibs
Note
The verification typically takes a few minutes to complete and should finally terminate with a success message.
Building überSpark Libraries¶
überSpark üobject runtime libraries are built using the certified CompCert compiler in combination with überSpark tools (to handle Assembly as CASM). To build the überSpark libraries you need to use the following command:
make build-ubersparklibs
Installing überSpark Libraries¶
überSpark libraries are installed to the development system using the following command:
sudo make install
Note
The libraries are installed to the default location /usr/local/uberspark
but can
be over-ridden by the --prefix
option during configuration using the configure
utility.