search

niklasso / minisat

A minimalistic and high-performance SAT solver
minisat.se
Other
1.02k stars 390 forks source link

Read-only file system #38

Closed verifierlife closed 5 years ago

verifierlife commented 5 years ago

@niklasso @koengit I am using Mac OS Catalina to install minisat. When I run the command " make install", I get the following errors: install -d /include/minisat install: mkdir /include: Read-only file system make: *** [install-headers] Error 71

I has already tried for many times, but I failed.

verifierlife commented 5 years ago

I think I has already solved it. This is a suggestion: https://www.reddit.com/r/MacOS/comments/caiue5/macos_catalina_readonly_file_system_with_sip/

Only for Mac OS Catalina.