luke
/
abc
mirror of https://github.com/YosysHQ/abc.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Corrected #ifdef for mach based Apple builds in cadical_file.cpp. 

Bring test in line with all other tests for mach based MacOS builds,
and ensure the code in question is not enabled with mach on GNU Hurd.
This commit is contained in:
Petter Reinholdtsen 2026-04-18 10:25:11 +02:00
parent 64637b8395
commit fa042e42ed
1 changed files with 5 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
src/sat/cadical/cadical_file.cpp
View File

@ -41,7 +41,7 @@ extern "C" {
#endif
#if defined(__APPLE__) || defined(__MACH__)
#if defined(__APPLE__) && defined(__MACH__)
extern "C" {
#include <libproc.h>
@ -293,7 +293,7 @@ FILE *File::read_pipe (Internal *internal, const char *fmt, const int *sig,
#if !defined(_WIN32) && !defined(__wasm)
#if defined(__APPLE__) || defined(__MACH__)
#if defined(__APPLE__) && defined(__MACH__)
static std::mutex compressed_file_writing_mutex;
#endif
@ -312,7 +312,7 @@ FILE *File::write_pipe (Internal *internal, const char *command,
char *absolute_command_path = find_program (argv[0]);
int pipe_fds[2], out;
FILE *res = 0;
#if defined(__APPLE__) || defined(__MACH__)
#if defined(__APPLE__) && defined(__MACH__)
compressed_file_writing_mutex.lock ();
#endif
if (!absolute_command_path)
@ -369,7 +369,7 @@ FILE *File::write_pipe (Internal *internal, const char *command,
#ifdef CADICAL_QUIET
(void) internal;
#endif
#if defined(__APPLE__) || defined(__MACH__)
#if defined(__APPLE__) && defined(__MACH__)
if (!res)
compressed_file_writing_mutex.unlock ();
#endif
@ -475,7 +475,7 @@ void File::close (bool print) {
MSG ("closing output pipe to write '%s'", name ());
fclose (file);
waitpid (child_pid, 0, 0);
#if defined(__APPLE__) || defined(__MACH__)
#if defined(__APPLE__) && defined(__MACH__)
compressed_file_writing_mutex.unlock ();
#endif
}