Open main menu
Home
Random
Log in
Settings
About Sugar Labs
Disclaimers
Sugar Labs
Search
Changes
← Older edit
Obsolete Service/obs
(view source)
Revision as of 09:14, 31 March 2024
23 bytes added
,
31 March
m
Bernie moved page
Service/obs
to
Obsolete Service/obs
Line 1:
Line 1:
+
{{Obsolete}}
+
== Hostnames ==
== Hostnames ==
Line 77:
Line 79:
su - obs
su - obs
cd ~/app/src/backend/sat-solver
cd ~/app/src/backend/sat-solver
−
cmake . -
DDEBIAN
=1
+
cmake . -
DMULTI_SEMANTICS
=1
make
make
Bernie
Bureaucrats
,
Check users
,
Administrators
1,784
edits