search

flintlib / arb

Arb has been merged into FLINT -- use https://github.com/flintlib/flint/ instead
http://arblib.org/
GNU Lesser General Public License v2.1
455 stars 137 forks source link

Windows CI #307

Closed isuruf closed 4 years ago

isuruf commented 4 years ago

dump-file tests fail. cc @saraedum

https://ci.appveyor.com/project/isuruf/arb/builds/32420989

isuruf commented 4 years ago

@fredrik-johansson, this is still a WIP, but let me know what you think. You'll have to sign up for appveyor CI to set this up.

fredrik-johansson commented 4 years ago

Can you provide more information about the dump-file failure?

fredrik-johansson commented 4 years ago

Is it possible that tmpfile() doesn't work?

isuruf commented 4 years ago

Here's all the information that I have.

The following tests FAILED:
    388 - arb-t-dump_file (Exit code 0xc0000409
)
    660 - arf-t-dump_file (Exit code 0xc0000409
)
    767 - mag-t-dump_file (Exit code 0xc0000409
)
fredrik-johansson commented 4 years ago

Does the latest flint fix this issue by any chance?

isuruf commented 4 years ago

No, it doesn't.

isuruf commented 4 years ago

@fredrik-johansson, can you merge this before the next arb release which I understand is going to happen soon?

fredrik-johansson commented 4 years ago

Sure. What else needs to be done besides merging?

isuruf commented 4 years ago

Thanks. Sign up at https://ci.appveyor.com and add arb as a project. Let me know if you run into any trouble.

fredrik-johansson commented 4 years ago

Okay, that's done. What's next?

isuruf commented 4 years ago

Thanks. You should see a add project at https://ci.appveyor.com/account/fredrik-johansson/projects. You can then add arb as a project.

fredrik-johansson commented 4 years ago

Seems to be working now :-)