projects / gringo.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0ddf1cf) | patch
add support for architectures with broken std::exception_ptr std::exception_ptr is...
authorThomas Krennwallner <tkren@kr.tuwien.ac.at>
Wed, 14 Dec 2016 07:37:15 +0000 (08:37 +0100)
committerThomas Krennwallner <tkren@kr.tuwien.ac.at>
Tue, 20 Dec 2016 04:10:36 +0000 (04:10 +0000)
commit5fc5b6fc2d6aad2e07dc8f7825d26dadc6e26830
tree8a022bed23b6e3962ad5820bbd80f49159b3fabatree | snapshot
parent0ddf1cf6fc240cec55042212698deaa7b4963294commit | diff
add support for architectures with broken std::exception_ptr std::exception_ptr is currently not supported on armel, see libstdc++ bug https://gcc.gnu.org/bugzilla/show_bug.cgi?id=58938

Forwarded: not-needed

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

Gbp-Pq: Name gringo-broken-std-exception_ptr.patch
libgringo/gringo/control.hh diff | blob | history
libgringo/src/control.cc diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.