Skip to content

Commit

Permalink
Adjust build_and_check_manifest.py
Browse files Browse the repository at this point in the history
Give a warning for platforms that are known now to support all builtins
  • Loading branch information
rocky committed Dec 4, 2022
1 parent cee92f0 commit 3d73ddc
Showing 1 changed file with 11 additions and 1 deletion.
12 changes: 11 additions & 1 deletion admin-tools/build_and_check_manifest.py
Original file line number Diff line number Diff line change
@@ -1,6 +1,8 @@
#!/usr/bin/env python

from mathics.builtin.system_init import name_is_builtin_symbol, modules, Builtin
from mathics.builtin import modules
from mathics.builtin.base import Builtin
from mathics.core.system_init import name_is_builtin_symbol
import sys


Expand Down Expand Up @@ -78,5 +80,13 @@ def check_manifest():
if sys.argv[1] == "--rebuild":
build_builtin_manifest()
elif len(sys.argv) == 1:
if sys.platform == "win32" or hasattr(sys, "pyston_version_info"):
if sys.platform == "win32":
print(
f"Note: this platform {sys.platform} is known not to support all builtins."
)
else:
print("Note: pyston is knowns not not to contain all builtins.")

check_manifest()
print("The manifest is consistent with the implemented builtins.")

0 comments on commit 3d73ddc

Please sign in to comment.