Skip to content

Commit

Permalink
TYP: annotate constants with typing.Final
Browse files Browse the repository at this point in the history
  • Loading branch information
johnyf committed Dec 9, 2023
1 parent 205c116 commit c818fa2
Show file tree
Hide file tree
Showing 2 changed files with 11 additions and 9 deletions.
2 changes: 1 addition & 1 deletion dd/_copy.py
Original file line number Diff line number Diff line change
Expand Up @@ -12,7 +12,7 @@
import dd._utils as _utils


SHELVE_DIR = '__shelve__'
SHELVE_DIR: _ty.Final = '__shelve__'
_Yes: _ty.TypeAlias = dd._abc.Yes


Expand Down
18 changes: 10 additions & 8 deletions download.py
Original file line number Diff line number Diff line change
Expand Up @@ -23,25 +23,27 @@
from setuptools.extension import Extension


EXTENSIONS = ['cudd', 'cudd_zdd', 'buddy', 'sylvan']
EXTENSIONS: _ty.Final = [
'cudd', 'cudd_zdd', 'buddy', 'sylvan']
# CUDD
CUDD_VERSION = '3.0.0'
CUDD_TARBALL = f'cudd-{CUDD_VERSION}.tar.gz'
CUDD_URL = (
CUDD_VERSION: _ty.Final = '3.0.0'
CUDD_TARBALL: _ty.Final = f'cudd-{CUDD_VERSION}.tar.gz'
CUDD_URL: _ty.Final = (
'https://sourceforge.net/projects/cudd-mirror/files/'
f'cudd-{CUDD_VERSION}.tar.gz/download')
CUDD_SHA256 = (
CUDD_SHA256: _ty.Final = (
'b8e966b4562c96a03e7fbea239729587'
'd7b395d53cadcc39a7203b49cf7eeb69')
CC = 'gcc'
FILE_PATH = os.path.dirname(os.path.realpath(__file__))
CUDD_PATH = os.path.join(
FILE_PATH,
f'cudd-{CUDD_VERSION}')
CUDD_DIRS = ['cudd', 'dddmp', 'epd', 'mtr', 'st', 'util']
CUDD_DIRS: _ty.Final = [
'cudd', 'dddmp', 'epd', 'mtr', 'st', 'util']
CUDD_INCLUDE = ['.', *CUDD_DIRS]
CUDD_LINK = ['cudd/.libs', 'dddmp/.libs']
CUDD_LIB = ['cudd', 'dddmp']
CUDD_LINK: _ty.Final = ['cudd/.libs', 'dddmp/.libs']
CUDD_LIB: _ty.Final = ['cudd', 'dddmp']
CUDD_CFLAGS = [
# '-arch x86_64',
'-fPIC',
Expand Down

0 comments on commit c818fa2

Please sign in to comment.