ltentrup / safetysynth Goto Github PK

During the compilation of SafetySynth, I have the following issue when trying make test:

swift test
safetysynth: error: manifest parse error(s):
/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX10.15.sdk/usr/include/module.modulemap:1:8: error: redefinition of module 'AppleTextureEncoder'
module AppleTextureEncoder [system] [extern_c] {
       ^
/usr/local/include/module.modulemap:1:8: note: previously defined here
module AppleTextureEncoder [system] [extern_c] {
       ^

I tried it on macOS Catalina v. 10.15.6.
Most likely, the update to Catalina caused this issue.

Do you have any idea about a workaround?

Hi,
I think that the abc's repository on Mercurial is obsolete, and for that reason it didn't work.
They moved to "https://github.com/berkeley-abc/abc".
I changed the Makefile as follows:

.PHONY: default debug release test tools all clean distclean

default: debug

debug: tools
	swift build

release: tools
	swift build --configuration release -Xcc -O3 -Xcc -DNDEBUG -Xswiftc -Ounchecked

test:
	swift test

clean:
	swift package clean

distclean:
	swift package reset
	rm -rf Tools

tools: Tools/abc

Tools/.f:
	mkdir -p Tools
	touch Tools/.f

# abc
Tools/abc: Tools/abc-build
  mv abc build-abc; cp build-abc/abc .

Tools/abc-build: Tools/abc-git
	make -C Tools/abc

Tools/abc-git: Tools/.f
	cd Tools ; git clone https://github.com/berkeley-abc/abc

When trying to compile, I find this error:

SafetySynth/Sources/SafetyGameSolver/AigerHelper.swift:2:8: error: no such module 'CAigerHelper'
import CAigerHelper

Hi,
when I ask only for (un)realizability of a circuit, the binary ./SafetySynth works well.
But when I ask also for synthesis it works only if called from the root directory of the project.
Did I make some mistakes during installation or do you have the same problem?

I think the problem is that it cannot resolve the path to the ABC tool.

Thanks.