[13:00:09] <Somelauw> I'm trying to do pip3 install --user --upgrade 'ipython[all]', but it crashes on zmq/utils/initthreads.c:8:22: fatal error: pyconfig.h: No such file or directory
[13:01:09] <mgedmin> Somelauw, you may need to install some python development packages, e.g. on Debian/ubuntu sudo apt-get install python-dev
[13:01:23] <mgedmin> make that python3-dev, since pip3
[13:05:05] <Somelauw> mgedmin: thanks, now it works
[13:05:48] <Somelauw> i already did sudo apt-get install python3-zmq and python-boost-dev before, but apparently those weren't enough
[13:08:17] <mgedmin> you want sudo apt-get build-dep python3-zmq to get the build dependencies, if you plan to build zmq's python bindings from scratch
[13:08:33] <mgedmin> (and pip always builds stuff from sources on linux, due to reasons)
[13:09:33] <Ivo> Somelauw: python3-zmq gets you the system zmq binaries, but doesn't help you build it from scratch with pip
[13:10:16] <Somelauw> So if I understand correctly build-dev usually install the dev packages to build another package?
[13:10:18] <mgedmin> some days I'm sad that build-dep is a separate apt subcommand instead of being a modifier...
[18:22:42] <unstable> What to do? (i)gnore, (w)ipe, (b)ackup
[18:22:57] <unstable> I switched a project from hg/bitbucket to git/github, and I'm getting this on my build system now
[18:23:59] <unstable> nevermind, circleci does some caching optimizations
[18:24:03] <unstable> I just cleared that and it works now.