acl2-kernel/pyproject.toml at master · tani/acl2-kernel · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
[project]
name = "acl2-kernel"
version = "0.4.0"
description = "Jupyter Kernel for ACL2"
readme = "README.md"
authors = [
    { name = "TANIGUCHI Masaya", email = "m@docs.casa" }
]
requires-python = ">=3.8"
license = { text = "Apache-2.0" }
dependencies = [
    "pexpect>=4.8.0,<5",
    "ipykernel>=6.6.0,<7",
    "jupyter-client>=6.1.3,<8",
    "ipython>=7.16.2,<8",
    "regex>=2021.11.10",
]

[project.urls]
homepage = "https://github.com/tani/acl2-kernel"
repository = "https://github.com/tani/acl2-kernel.git"

[dependency-groups]
dev = [
    "jupyter>=1.0.0,<2",
    "python-language-server>=0.36.2,<0.37.0",
    "autopep8>=1.6.0,<2",
]

[build-system]
requires = ["hatchling"]
build-backend = "hatchling.build"

[tool.hatch.build]
exclude = [
  "**/*.ipynb",
  "Dockerfile",
  ".dockerignore",
]