search

potassco / plingo

🍀 A system for probabilistic reasoning in clingo
MIT License
15 stars 2 forks source link

add deploy scripts #3

Closed rkaminsk closed 2 years ago

rkaminsk commented 2 years ago

@nrueh, @susuhahnml, this PR adds scripts to automatically deploy plingo. Do not edit the scripts they were automatically generated from the .github/deploy.yml file. To deploy development packages, run

./trigger.sh dev <branch-or-tag>

and to deploy releases run

./trigger.sh release <branch-or-tag>

Always check whether the development packages work before doing a release and always wait for deploys to finish before starting another one. If there are problems, just drop me an email.

Packages can now be installed with:

# pip
python3 -m pip install --extra-index-url https://test.pypi.org/simple/ --upgrade plingo-solver
# conda
conda install -c potassco/label/dev plingo
# ubuntu
sudo add-apt-repository ppa:potassco/wip
apt install python3-plingo

Release packages are still missing because there is no release tag yet. If you create one, I'll deploy the first release (the initial release requires a deploy key only I can create). Furthermore, there is already a plingo package on test.pypi. It does not seem like it is developed anymore. The name on pypi is still available.

On another note, I had problems with the numpy package on our university machines using debian buster. plingo crashes if numpy is imported. I could fix this by importing numpy right at the beginning of the init script. But what about not using numpy at all? It seems like it is only used to apply some math to a tiny array with a handful of numbers.

nrueh commented 2 years ago

Thanks a lot @rkaminsk !

I also removed numpy now. It can be easily done with native python functions.

rkaminsk commented 2 years ago

I also removed numpy now. It can be easily done with native python functions.

Great. I'll update. After you merged your other PR. :smile:

nrueh commented 2 years ago

I also removed numpy now. It can be easily done with native python functions.

Great. I'll update. After you merged your other PR. 😄

Yeah, sorry there is still one small detail/open question missing but I'll implement that later :) The numpy part is merged now