project('sine-patre',
        'cpp',
        version: '0.0.0',
        default_options: [
          'prefix=/usr',
          'cpp_std=c++17',
          'warning_level=3'
        ])

sp_lib = static_library(
  'sine-patre',
  sources: [
    'src/fol/Node.cpp',
    'src/fol/Lexer.cpp',
    'src/fol/Parser.cpp',
    'src/fol/Substitution.cpp',
  ]
)

sp_dep = declare_dependency(link_with: [sp_lib])

executable('sine-patre',
           sources: [
             'src/main.cpp',
           ],
           dependencies: [
             sp_dep
           ],
           install: true)

executable('sine-patre-tests',
           sources: [
             'tests/main.cpp',
             'tests/Lexer.cpp',
             'tests/Parser.cpp',
             'tests/Node.cpp',
           ],
           dependencies: [
             sp_dep,
             dependency('catch2')
           ])