'''
  apkg
  ~~~~

  A package manager for Agda.

'''

# ----------------------------------------------------------------------------

from pathlib import Path
import click
import subprocess

from apkg.__version__ import __version__, __message__

# ----------------------------------------------------------------------------

print("Version: v" + __version__)
print("Message: " + __message__)

if click.confirm("Proceed"):
  subprocess.run(["git", "add" , "."], stdout=subprocess.PIPE)
  subprocess.run(["git", "commit" , "-am", "[ v{} ] {}".format(__version__, __message__)]
                , stdout=subprocess.PIPE)
  subprocess.run(["git", "tag" , "v{}".format(__version__)]
                , stdout=subprocess.PIPE)
  subprocess.run(["make", "push"], stdout=subprocess.PIPE)

'''
  apkg
  ~~~~

  A package manager for Agda.

'''

# ----------------------------------------------------------------------------

from pathlib import Path
import click
import subprocess

from apkg.__version__ import __version__, __message__

# ----------------------------------------------------------------------------

print("Version: v" + __version__)
print("Message: " + __message__)

if click.confirm("Proceed"):
  subprocess.run(["git", "add" , "."], stdout=subprocess.PIPE)
  subprocess.run(["git", "commit" , "-am", "[ v{} ] {}".format(__version__, __message__)]
                , stdout=subprocess.PIPE)
  subprocess.run(["git", "tag" , "v{}".format(__version__)]
                , stdout=subprocess.PIPE)
  subprocess.run(["make", "push"], stdout=subprocess.PIPE)

apkg   ~~~~    A package manager for Agda. # ---------------------------------------------------------------------------- # ----------------------------------------------------------------------------