2016-02-01 22:14:26 +01:00
|
|
|
#!/usr/bin/env bash
|
|
|
|
|
|
|
|
# Build OMI
|
2016-03-09 01:17:37 +01:00
|
|
|
pushd src/omi/Unix
|
2016-02-01 22:14:26 +01:00
|
|
|
./configure --dev
|
|
|
|
make -j
|
2016-03-09 01:17:37 +01:00
|
|
|
popd
|
2016-02-01 22:14:26 +01:00
|
|
|
|
|
|
|
# Build the OMI Provider
|
2016-03-09 01:17:37 +01:00
|
|
|
pushd src/omi-provider
|
|
|
|
cmake -DCMAKE_BUILD_TYPE=Debug .
|
2016-02-01 22:14:26 +01:00
|
|
|
make -j
|
2016-03-09 01:17:37 +01:00
|
|
|
popd
|