Spot March 2023

spot@lrde.epita.fr

3 participants
2 discussions

by Fraca Santamaria, Estibaliz

Hi, I'm trying to install spot in my machine. I run make check and I got two errors (Fail : 2). I am just reporting it as it is asked. Please find test-suite.log attached. The installation did fail. I would like to ask if you know why did it fail and what could I do to install it. Thank you

1 year, 10 months

Mac OS Spot Library Installation

by Samuel Hongang Lam

Hello All, I am a PhD student that has been working on a project recently with a code base using the Spot library. The code was written on a Linux machine, but I have a MacBook running macOS. There seem to be some dependencies in the Spot library on glibc functions, such as strverscmp. I am inexperienced with setting up the libraries and such properly. Is there anywhere I can get help with setting up Spot to be able to access the features I need on a Mac? Any assistance would be greatly appreciated. Thank you! Sincerely, Samuel Lam

1 year, 11 months

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Spot March 2023