search

NASA-SW-VnV / ikos

Static analyzer for C/C++ based on the theory of Abstract Interpretation.
Other
2.52k stars 180 forks source link

Install with homebrew failed #302

Open Leonezz opened 3 days ago

Leonezz commented 3 days ago 
==> Downloading https://www.bugseng.com/products/ppl/download/ftp/releases/1.2/ppl-1.2.tar.xz
Already downloaded: /home/root/.cache/Homebrew/downloads/8f10f12c8cd04a06f7b1bec7b0c4d37d0f7ca289a8a7dd73b4b14d193f3875e6--ppl-1.2.tar.xz
Error: ikos: SHA256 mismatch
Expected: 691f0d5a4fb0e206f4e132fc9132c71d6e33cdda168470d40ac3cf62340e9a60
  Actual: 2f70e80a2277d0e62c36fcd3b38e89b8eb0cdb75e5353d725c39d0948321a2b0
    File: /home/root/.cache/Homebrew/downloads/8f10f12c8cd04a06f7b1bec7b0c4d37d0f7ca289a8a7dd73b4b14d193f3875e6--ppl-1.2.tar.xz
To retry an incomplete download, remove the file above.

seems like one of the deps no longer working.

Leonezz commented 3 days ago

Also build from source wont work because the tbb lib:

CMake Error at cmake/FindTBB.cmake:186 (file):
  file failed to open for reading (No such file or directory):

    /usr/include/oneapi/tbb/version.h
Call Stack (most recent call first):
  core/CMakeLists.txt:94 (find_package)

while I already installed tbb:

$ ls /usr/include/tbb/
aggregator.h               concurrent_map.h              global_control.h     parallel_for.h        runtime_loader.h           tbb_exception.h
aligned_space.h            concurrent_priority_queue.h   index.html           parallel_invoke.h     scalable_allocator.h       tbb.h
atomic.h                   concurrent_queue.h            info.h               parallel_reduce.h     spin_mutex.h               tbb_machine.h
blocked_range2d.h          concurrent_set.h              internal             parallel_scan.h       spin_rw_mutex.h            tbbmalloc_proxy.h
blocked_range3d.h          concurrent_unordered_map.h    iterators.h          parallel_sort.h       task_arena.h               tbb_profiling.h
blocked_range.h            concurrent_unordered_set.h    machine              parallel_while.h      task_group.h               tbb_stddef.h
blocked_rangeNd.h          concurrent_vector.h           memory_pool.h        partitioner.h         task.h                     tbb_thread.h
cache_aligned_allocator.h  critical_section.h            mutex.h              pipeline.h            task_scheduler_init.h      tick_count.h
combinable.h               enumerable_thread_specific.h  null_mutex.h         queuing_mutex.h       task_scheduler_observer.h
compat                     flow_graph_abstractions.h     null_rw_mutex.h      queuing_rw_mutex.h    tbb_allocator.h
concurrent_hash_map.h      flow_graph.h                  parallel_do.h        reader_writer_lock.h  tbb_config.h
concurrent_lru_cache.h     flow_graph_opencl_node.h      parallel_for_each.h  recursive_mutex.h     tbb_disable_exceptions.h