Tree: 6c7d6b0d2b

main

tempestpy_adaptions

Branches Tags

${ item.name }

Create tag ${ searchTerm }

Create branch ${ searchTerm }

from '6c7d6b0d2b'

${ noResults }

Commit Graph

5 Commits (6c7d6b0d2b1ccd4d025305925f260f2b0a1bc696)

Author	SHA1	Message	Date
Tim Quatmann	feadd3af77	Added cmake option STORM_RESOURCES_BUILD_JOBCOUNT to have better control on how many jobs we shall use to build external stuff (like spot, carl, cudd, glpk, ?)	5 years ago
Tim Quatmann	98bb05b86f	Trying to build spot with a single thread	5 years ago
Tim Quatmann	efeeea0d54	Spot: re-iterated cmake interface to hopefully make it more clean. Added documentation on how to update spot	5 years ago
Tim Quatmann	9626c3c5f1	Cmake: Fixed output when including spot.	5 years ago
hannah	d861c377a9	fixed typo	5 years ago
Tim Quatmann	d44bc3c6c2	CMAKE: Added option to include and link against Spot Conflicts: CMakeLists.txt	5 years ago