Follow-up to #59; this fixes the build for binder for me.
In the future it might make sense to provide a custom Dockerfile in which to perform the build; since it's done in the "postBuild" script it means we have to compile eclib every time a binder is launched which takes quite some time.
Follow-up to #59; this fixes the build for binder for me.
In the future it might make sense to provide a custom Dockerfile in which to perform the build; since it's done in the "postBuild" script it means we have to compile eclib every time a binder is launched which takes quite some time.