search

SWI-Prolog / pengines

Pengine and Prolog scratchpad
BSD 2-Clause "Simplified" License
57 stars 16 forks source link

Created a Dockerfile - please include #20

Open ninjarobot opened 8 years ago

ninjarobot commented 8 years ago

I created a Dockerfile that builds SWI-Prolog from source, clones Pengines, and runs a server. It would be great if this could be included in this repo or some other official SWI-Prolog repository and then become an official image (or images) on Docker hub. Can you please review the attached and let me know if what I am doing here is suitable? If so, should I submit a PR here or would this best to go in a new repository?

Pengines Dockerfile

Thanks for all your great work on Pengines.

JanWielemaker commented 8 years ago

Good to have!

It is probably better to use the development releases of SWI-Prolog. Also the build of the SWISH app is missing. Might be wise to add that. I've added a link to your repo in README.md.

All in all, the relation between Pengines and SWISH is a bit vague. SWISH is actively being developed and is getting Pengine like features using HTML cells in notebooks.

ninjarobot commented 8 years ago

@JanWielemaker thanks for the response and clarifications. I added another repository based off the dev packages.

As a Pengines server is useful in and of itself, I think yet another Dockerfile to add SWISH would be beneficial so it's possible to just get a Pengines server.

Also, these are published on Docker Hub, although somewhat unofficially under my account, and it would be great to move these to an official SWI-Prolog account.

JanWielemaker commented 8 years ago

I'm not that familiar with docker. At some point it would be nice to have Docker images for at least ClioPatria and SWISH. I think in due time the Pengines web interface will get outdated and replaced with SWISH. I don't really have time to look into this. If you are interested it maintaining an official SWI-Prolog Docker suite, I'm happy to facilitate this. Just tell me what to do :)

ninjarobot commented 7 years ago

@JanWielemaker I saw there was a 7.4.0-rc1 release and so I updated the docker images to use the updated PPA and for the one that builds from source, to use the latest tarball. Thanks for all your efforts on this!

ninjarobot commented 7 years ago

@JanWielemaker - it's seems there is now an official swipl/swipl image, so I updated the Dockerfile on https://github.com/ninjarobot/pengines-dockerfile to use this. Would it be possible to move this to the official swipl docker hub?