Obsolete Service/obs: Difference between revisions
| Line 77: | Line 77: | ||
su - obs | su - obs | ||
cd ~/app/src/backend/sat-solver | cd ~/app/src/backend/sat-solver | ||
cmake . - | cmake . -DMULTI_SEMANTICS=1 | ||
make | make | ||
Homepage | Activities | Events | Lists | Development | Translate | Contact
| Line 77: | Line 77: | ||
su - obs | su - obs | ||
cd ~/app/src/backend/sat-solver | cd ~/app/src/backend/sat-solver | ||
cmake . - | cmake . -DMULTI_SEMANTICS=1 | ||
make | make | ||