add_library(yosys_libs INTERFACE)

target_sources(yosys_libs INTERFACE
    bigint/BigInteger.cc
    bigint/BigInteger.hh
    bigint/BigIntegerAlgorithms.cc
    bigint/BigIntegerAlgorithms.hh
    bigint/BigIntegerLibrary.hh
    bigint/BigIntegerUtils.cc
    bigint/BigIntegerUtils.hh
    bigint/BigUnsigned.cc
    bigint/BigUnsigned.hh
    bigint/BigUnsignedInABase.cc
    bigint/BigUnsignedInABase.hh
    bigint/NumberlikeArray.hh 

    sha1/sha1.cpp
    sha1/sha1.h

    json11/json11.cpp
    json11/json11.hpp

    ezsat/ezsat.cc
    ezsat/ezsat.h
    ezsat/ezminisat.cc
    ezsat/ezminisat.h

    minisat/Alg.h
    minisat/Alloc.h
    minisat/Dimacs.h
    minisat/Heap.h
    minisat/IntMap.h
    minisat/IntTypes.h
    minisat/Map.h
    minisat/Options.cc
    minisat/Options.h
    minisat/ParseUtils.h
    minisat/Queue.h
    minisat/Rnd.h
    minisat/SimpSolver.cc
    minisat/SimpSolver.h
    minisat/Solver.cc
    minisat/Solver.h
    minisat/SolverTypes.h
    minisat/Sort.h
    minisat/System.cc
    minisat/System.h
    minisat/Vec.h
    minisat/XAlloc.h

    fst/config.h
    fst/fastlz.cc
    fst/fastlz.h
    fst/fstapi.cc
    fst/fstapi.h
    fst/fst_win_unistd.h
    fst/lz4.cc
    fst/lz4.h

    subcircuit/subcircuit.cc
    subcircuit/subcircuit.h

    cxxopts/include/cxxopts.hpp
)

target_link_libraries(yosys PRIVATE yosys_libs)