cpitclaudel / alectryon

A collection of tools for writing technical documents that mix Coq code and prose.

MIT License

235 stars 34 forks source link

Pypi package #46

Closed start974 closed 3 years ago

start974 commented 3 years ago

Add the file setup.py to distribute Alectryon packages and script on Pypi, and make it easier to install.

41

cpitclaudel commented 3 years ago

Excellent job! 👏 thanks a lot, I wouldn't have had time to get this done.

I've pushed a few more commits to fix things up. Can you squash your commits and mine (except the last one)? After that I think we'll be good to go :) I'll leave a few small comments inline.

cpitclaudel commented 3 years ago

I've done one last cleanup pass; can you have a look? Then I'll merge :tada:

start974 commented 3 years ago

I just hard-coded the attribute "author" this field doesn't support attr unfortunately, as said on the setuptool page. You can look at all the information after installing the package by doing pip show alectryon.

For me everything is ok, you can merge.

Zimmi48 commented 3 years ago

Cool! Do you intend to do a release soon?

cpitclaudel commented 3 years ago

Yes :) I just pushed two releases: one for 1.0 that was released a few months ago, and one fresh 1.1 release from master. Thanks @start974!