set(src_texelutillib
                      assignment.hpp
                      bitSet.hpp
  bookbuild.cpp       bookbuild.hpp
  cspsolver.cpp       cspsolver.hpp
  extproofkernel.cpp  extproofkernel.hpp
  gametree.cpp        gametree.hpp
                      gametreeutil.hpp
  pkseq.cpp           pkseq.hpp
  posutil.cpp         posutil.hpp
  proofgame.cpp       proofgame.hpp
  proofgamefilter.cpp proofgamefilter.hpp
  proofkernel.cpp     proofkernel.hpp
  revmovegen.cpp      revmovegen.hpp
                      stloutput.hpp
                      threadpool.hpp
  tbpath.cpp          tbpath.hpp
  )

add_library(texelutillib STATIC
  ${src_texelutillib}
  )
target_link_libraries(texelutillib
  PUBLIC texellib
  )
target_include_directories(texelutillib
  INTERFACE .
  )
