Compilation problem in develop

[webdata]

Introduced in:
686e25d

[RubenVerborgh]

Why is this in develop already :-(
Should have remained in long-dict-id until the build was fixed.

[RubenVerborgh]

Related: #63 / #63 (comment)

[webdata]

No no this compilation problem is not related to the long-dict-id, and long-dict-id has not been merged into develop yet :) Sure, let's fix this problem first

[RubenVerborgh]

Indeed, I see!

Hmm, after the failing commit 686e25d, nothing else should have been done on develop except for fixing the build again. Travis detected the build failure. @MarioAriasGa Do you receive these failure notifications by mail?

[MarioAriasGa]

Sorry, I don't receive travis emails, can you please add me?

I will look into this issue. I think it is probably due to the unordered_map being so different between compilers.

[RubenVerborgh]

@MarioAriasGa I think you just need to register at https://travis-ci.org/, and the rest happens automatically since this project is already on Travis CI.

[RubenVerborgh]

This issue should be fixed with high priority; we currently cannot build other features on top of develop.

@MarioAriasGa Could you give an estimate for a fix? Otherwise, I'll need to roll back develop to the last working version 2ca11fe and place the current work in progress in a separate branch.

[RubenVerborgh]

I reset develop to the last working commit 7a067ab and pushed the broken branch to develop-broken.