projects / gringo.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5fc5b6f) | patch
alpha FTBFS: _FPU_GETCW is undefined
authorThomas Krennwallner <tkren@kr.tuwien.ac.at>
Sat, 17 Dec 2016 06:27:31 +0000 (07:27 +0100)
committerThomas Krennwallner <tkren@kr.tuwien.ac.at>
Tue, 20 Dec 2016 04:10:36 +0000 (04:10 +0000)
commit795a00d97c507b4e1a1c7a741e5b406c3e7686ee
tree7cfdbb94588e9f915059eaa2085a2ff8c9f3aec5tree | snapshot
parent5fc5b6fc2d6aad2e07dc8f7825d26dadc6e26830commit | diff
alpha FTBFS: _FPU_GETCW is undefined

Forwarded: https://github.com/potassco/clasp/pull/3

===================================================================

Gbp-Pq: Name gringo-alpha-fpu-getcw.patch
app/clingo/src/clasp/clasp_app.cpp diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.