Sign Up
Log In
Log In
or
Sign Up
Places
All Projects
Status Monitor
Collapse sidebar
devel:tools:statica
Configuration
Project Config
Overview
Repositories
Monitor
Requests
Users
Subprojects
Project Config
Attributes
Signing Keys
Meta
Status
Pulse
Project Configuration of devel:tools:statica
BuildFlags: useccache:cbmc BuildFlags: useccache:klee %if 0%{?sle_version} == 120500 Substitute: libboost_program_options-devel boost-devel Macros: %make_build \ make %{?_smp_mflags} VERBOSE=1 :Macros %endif
Locations
Projects
Search
Status Monitor
Help
OpenBuildService.org
Documentation
API Documentation
Code of Conduct
Contact
Support
@OBShq
Terms
openSUSE Build Service is sponsored by
The Open Build Service is an
openSUSE project
.
Sign Up
Log In
Places
Places
All Projects
Status Monitor