Skip to content
Snippets Groups Projects
Select Git revision
  • 9585835c1114645f8a26e2fe5f69d90d0f6aa966
  • master default protected
  • rust
  • extract-fix-master
  • extract-fix
  • extract-fix-1.0.0
6 results

HelloProof.tex

Blame
  • CMakeLists.txt 210 B
    find_package(LLVM REQUIRED CONFIG)
    
    add_definitions(${LLVM_DEFINITIONS})
    include_directories(${LLVM_INCLUDE_DIRS})
    link_directories(${LLVM_LIBRARY_DIRS})
    
    add_subdirectory(skeleton)  # Use your pass name here.