Obsolete Service/obs: Difference between revisions
m Bernie moved page Service/obs to Obsolete Service/obs |
|||
| (2 intermediate revisions by 2 users not shown) | |||
| 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 . - | cmake . -DMULTI_SEMANTICS=1 | ||
make | make | ||