Page Menu
Home
Xreate
Search
Configure Global Search
Log In
Docs
Questions
Repository
Issues
Patches
Internal API
Files
F2718210
xreate-environment
No One
Temporary
Actions
View File
Edit File
Delete File
View Transforms
Subscribe
Mute Notifications
Subscribers
None
File Metadata
Details
File Info
Storage
Attached
Created
Sun, Feb 15, 5:50 PM
Size
1 KB
Mime Type
text/plain
Expires
Tue, Feb 17, 5:50 PM (1 d, 19 h)
Engine
blob
Format
Raw Data
Handle
237282
Attached To
rXR Xreate
xreate-environment
View Options
// install cmake
// install llvm
// install gcc
// install gtest
EXISTS(gcc) = function(){
exec("gcc -v") :: ExpectNoErrors; log("Check gcc").
}
function():: provide(gcc) {
exec("sudo apt-get install gcc"):: log("[GCC] Installation").
}
function():: TestEnvironment(exists(cmake)){
exec("cmake /V"):: ExpectNoErrors; log("Check cmake").
}
function():: provide(cmake) {
exec("sudo apt-get install cmake"):: log("[CMake] Installation").
}
function():: TestEnvironment(exists(subversion)){
exec("svn --version"):: ExpectNoErrors; log("Check svn").
}
function():: provide(subversion) {
exec("sudo apt-get install subversion"):: log("[Subversion] Installation").
}
function():: TestEnvironment(exists(scons)){
exec("scons -v"):: ExpectNoErrors; log("Check scons").
}
function():: provide(scons) {
exec("sudo apt-get install scons"):: log("[Scons] Installation").
}
function():: TestEnvironment(exists(bison)){
exec("bison --version"):: ExpectNoErrors; log("Check bison").
}
function():: provide(bison) {
exec("sudo apt-get install bison"):: log("[Bison] Installation").
}
//FEATURE dependent packages: Subversion
function():: provide(gringo)
{
exec("cd /opt"). //FEATURE states: dir("/opt")
exec("svn://svn.code.sf.net/p/potassco/code/trunk")
:: log("[Potassco] cloning latest version");
require(svn); require(rights("/opt", WRITE)). //"sudo chown -R user ./potassco"
//
exec("scons --build-dir=release"):: require(scons)
}
function()::depends(env(gringo)){
}
exec(cmd::string) = procedure {
system(cmd)::ErrorCodeResult.
}
procedure :: EnvironmentTest(gcc) {
exec("gcc -v")::ExpectNoErrors.
}
EnvironmentProvider(gcc) = procedure {
exec("sudo apt-get install gcc"):: log("[GCC] Installation").
}
Event Timeline
Log In to Comment