![]() The B parser of ProB requires Java 7 or newer. ![]() Java Runtime Environment or better Java JDK or Adopt JDK, Java Runtime Environment (7.0 or newer) or Adopt JDK, In particular, we can provide access to the validation report for using ProB as a tool of class T2 or T3 within the European norm EN50128. For commercial support contact the spin-off company Formal Mind or Michael Leuschel. ![]() ![]() Note: please use the provided start scripts (StartProB.sh or StartProBWin.bat) to start ProB.ĭetails of the ProB Licence can be found here. Below are links for downloading the latest stable release of probcli (the command line version of ProB) and ProB Tcl/Tk (ProB with a graphical user interface written in Tcl/Tk). append ( '/usr/X11R5/include' ) - added_lib_dirs. exists ( '/usr/X11R5/include' ) : - include_dirs. append ( '/usr/X11R6/include' ) - added_lib_dirs. exists ( '/usr/X11R6/include' ) : - include_dirs. append ( '/usr/openwin/include' ) - added_lib_dirs. append (dir ) - # Check for various platform-specific directories - if host_platform = 'sunos5' : - include_dirs. detect_tkinter_darwin (inc_dirs, lib_dirs ) ) : - return # Assume we haven't found any of the libraries or include files # The versions with dots are used on Unix, and the versions - 1747, 22 + 1744, 6 class PyBuildExt (build_ext ) : if dir not in include_dirs : if (host_platform = 'darwin' and - self. Only one Tkinter will be built on # Darwin - either AquaTk, if it is found, or X11 based Tk. ++ + b /setup - 1699, 9 + 1699, 6 class PyBuildExt (build_ext ) : # Rather than complicate the code below, detecting and building # AquaTk is a separate method. System bin / "pip3", "list", "-format=columns" end end Lib_cellar = prefix / "Frameworks/amework/Versions/ #", "-c", "import zlib" # Unset these so that installing pip and setuptools puts them where we want # and not into some other Python the user has installed. Sha256 "66a8fd76f28977bb664b098372daef2b27f60dc4d1688cfab7b37a09448f0e9d" end # Homebrew's tcl-tk is built in a standard unix fashion (due to link errors) # so we have to stop python from searching for frameworks and linking against # X11. Xcode-only systems need different flags.ĭepends_on "tcl-tk" # as apple's one is shiiiiite Sha256 "b07ec3a40f58fa317e1bb937992dc0dca7d60812c60de99bde14fbadb6c27cc5" = > :sierra end # setuptools remembers the build flags python is built with and uses them to # build packages later. 将“/usr/local/Homebrew/Library/Taps/homebrew/homebrew-core/Formula/python.rb”路径下的脚本替换为如下,记得备份 class Python :mojave ![]() 对于homebrew安装的python3,以下命令不再支持 brew install python3 -with-tcl-tk Set TK SILENCE DEPRECATION =1 to suppress this warning. 可能会出现如下问题, The system version of Tk is deprecated and may be removed in a future release. pack (padx = 20, pady = 20 ) # Pack it into the window Label (root, text = "Hello 世界!" ) # Create a text label 运行如下demo时, import tkinter as tk # Python 3.x Version ![]()
0 Comments
Leave a Reply. |
AuthorWrite something about yourself. No need to be fancy, just an overview. ArchivesCategories |