I'm using PyQt5 GUI (.ui file) separately and using these with my .py file the program is using pandas taking input from GUI line edit doing some search in excel(pandas data frame) and then displaying output at GUI Qtableview. (cdpt.ui, cdptsearchtoll.py, cdpt.xlsx chromedriver and pyicon.ico are in folder)
my pandas is using read_html as well.
Now I want to make a .exe file using pyinstaller I 'm doing but getting error "failed to execute script"
I'm new to pyinstaller and unable to identify where the issue is? other than that my code is working fine. as expected!
please see below
C:\Users\AB43399\Desktop\cdpt_search_tool>pyinstaller -w -F -i
"C:\Users\AB43399\Desktop\cdpt_search_tool\pyicon.ico" cdptsearchtool.py
1220 INFO: PyInstaller: 3.4
1220 INFO: Python: 3.7.1
1221 INFO: Platform: Windows-10-10.0.16299-SP0
1231 INFO: wrote C:\Users\AB43399\Desktop\cdpt_search_tool\cdptsearchtool.spec
1238 INFO: UPX is not available.
1247 INFO: Extending PYTHONPATH with paths
['C:\\Users\\AB43399\\Desktop\\cdpt_search_tool',
'C:\\Users\\AB43399\\Desktop\\cdpt_search_tool']
1247 INFO: checking Analysis
1251 INFO: Building Analysis because Analysis-00.toc is non existent
1252 INFO: Initializing module dependency graph...
1273 INFO: Initializing module graph hooks...
1350 INFO: Analyzing base_library.zip ...
10235 INFO: running Analysis Analysis-00.toc
10317 INFO: Adding Microsoft.Windows.Common-Controls to dependent assemblies of final executable
required by c:\users\ab43399\appdata\local\programs\python\python37\python.exe
12527 INFO: Caching module hooks...
12717 INFO: Analyzing C:\Users\AB43399\Desktop\cdpt_search_tool\cdptsearchtool.py
13790 INFO: Processing pre-find module path hook PyQt5.uic.port_v3
13970 INFO: Processing pre-find module path hook PyQt5.uic.port_v2
14984 INFO: Processing pre-find module path hook distutils
15954 INFO: Processing pre-safe import module hook six.moves
23920 INFO: Processing pre-find module path hook site
23964 INFO: site: retargeting to fake-dir
'c:\\users\\ab43399\\appdata\\local\\programs\\python\\python37\\lib\\site-
packages\\PyInstaller\\fake-modules'
26263 INFO: Processing pre-safe import module hook setuptools.extern.six.moves
70917 INFO: Loading module hooks...
70917 INFO: Loading module hook "hook-distutils.py"...
71040 INFO: Loading module hook "hook-encodings.py"...
71585 INFO: Loading module hook "hook-jinja2.py"...
71673 INFO: Loading module hook "hook-lib2to3.py"...
72000 INFO: Loading module hook "hook-lxml.etree.py"...
72003 INFO: Loading module hook "hook-numpy.core.py"...
74268 INFO: Loading module hook "hook-numpy.py"...
74308 INFO: Loading module hook "hook-openpyxl.py"...
74594 INFO: Loading module hook "hook-pandas.py"...
84003 INFO: Loading module hook "hook-PIL.Image.py"...
86446 INFO: Loading module hook "hook-PIL.py"...
86479 INFO: Excluding import 'PySide'
86481 INFO: Removing import of PySide from module PIL.ImageQt
86482 INFO: Excluding import 'PyQt5'
86485 INFO: Removing import of PyQt5.QtCore from module PIL.ImageQt
86485 INFO: Removing import of PyQt5.QtGui from module PIL.ImageQt
86486 INFO: Excluding import 'tkinter'
86488 INFO: Removing import of tkinter from module PIL.ImageTk
86489 INFO: Excluding import 'PyQt4'
86493 INFO: Removing import of PyQt4 from module PIL.ImageQt
86494 INFO: Import to be excluded not found: 'FixTk'
86494 INFO: Loading module hook "hook-PIL.SpiderImagePlugin.py"...
86499 INFO: Import to be excluded not found: 'FixTk'
86500 INFO: Excluding import 'tkinter'
86502 INFO: Loading module hook "hook-pkg_resources.py"...
88979 INFO: Processing pre-safe import module hook win32com
89480 INFO: Loading module hook "hook-pycparser.py"...
89493 INFO: Loading module hook "hook-pydoc.py"...
89507 INFO: Loading module hook "hook-PyQt5.py"...
91328 WARNING: Hidden import "sip" not found!
91334 INFO: Loading module hook "hook-PyQt5.QtCore.py"...
91824 INFO: Loading module hook "hook-PyQt5.QtGui.py"...
92457 INFO: Loading module hook "hook-PyQt5.QtWidgets.py"...
93499 INFO: Loading module hook "hook-PyQt5.uic.py"...
93571 INFO: Loading module hook "hook-pytest.py"...
102252 INFO: Loading module hook "hook-pythoncom.py"...
104849 INFO: Loading module hook "hook-pytz.py"...
105540 INFO: Loading module hook "hook-pywintypes.py"...
108030 INFO: Loading module hook "hook-setuptools.py"...
111619 INFO: Loading module hook "hook-sqlite3.py"...
112534 INFO: Loading module hook "hook-sysconfig.py"...
112605 INFO: Loading module hook "hook-win32com.py"...
114057 INFO: Loading module hook "hook-xml.dom.domreg.py"...
114058 INFO: Loading module hook "hook-xml.etree.cElementTree.py"...
114076 INFO: Loading module hook "hook-xml.py"...
114078 INFO: Loading module hook "hook-_tkinter.py"...
116028 INFO: checking Tree
116033 INFO: Building Tree because Tree-00.toc is non existent
116033 INFO: Building Tree Tree-00.toc
116557 INFO: checking Tree
116558 INFO: Building Tree because Tree-01.toc is non existent
116558 INFO: Building Tree Tree-01.toc
116796 INFO: Looking for ctypes DLLs
116930 INFO: Analyzing run-time hooks ...
116943 INFO: Including run-time hook 'pyi_rth_multiprocessing.py'
116999 INFO: Including run-time hook 'pyi_rth_pkgres.py'
117006 INFO: Including run-time hook 'pyi_rth_win32comgenpy.py'
117013 INFO: Including run-time hook 'pyi_rth_qt5.py'
117060 INFO: Looking for dynamic libraries
122552 INFO: Looking for eggs
122552 INFO: Using Python library
c:\users\ab43399\appdata\local\programs\python\python37\python37.dll
122554 INFO: Found binding redirects:
[]
122614 INFO: Warnings written to
C:\Users\AB43399\Desktop\cdpt_search_tool\build\cdptsearchtool\warn-cdptsearchtool.txt
122960 INFO: Graph cross-reference written to
C:\Users\AB43399\Desktop\cdpt_search_tool\build\cdptsearchtool\xref-cdptsearchtool.html
123141 INFO: checking PYZ
123141 INFO: Building PYZ because PYZ-00.toc is non existent
123142 INFO: Building PYZ (ZlibArchive)
C:\Users\AB43399\Desktop\cdpt_search_tool\build\cdptsearchtool\PYZ-00.pyz
126145 INFO: Building PYZ (ZlibArchive)
C:\Users\AB43399\Desktop\cdpt_search_tool\build\cdptsearchtool\PYZ-00.pyz completed successfully.
126227 INFO: checking PKG
126227 INFO: Building PKG because PKG-00.toc is non existent
126228 INFO: Building PKG (CArchive) PKG-00.pkg
129181 WARNING: One binary added with two internal names.
129181 WARNING: ('libGLESv2.dll',
'C:\\users\\ab43399\\appdata\\local\\programs\\python\\python37\\lib\\site-
packages\\PyQt5\\Qt\\bin\\libGLESv2.dll',
'BINARY')
129184 WARNING: was placed previously at
129184 WARNING: ('PyQt5\\Qt\\bin\\libGLESv2.dll',
'C:\\users\\ab43399\\appdata\\local\\programs\\python\\python37\\lib\\site-
packages\\PyQt5\\Qt\\bin\\libGLESv2.dll',
'BINARY')
157741 INFO: Building PKG (CArchive) PKG-00.pkg completed successfully.
157789 INFO: Bootloader c:\users\ab43399\appdata\local\programs\python\python37\lib\site-
packages\PyInstaller\bootloader\Windows-64bit\runw.exe
157789 INFO: checking EXE
157790 INFO: Building EXE because EXE-00.toc is non existent
157790 INFO: Building EXE from EXE-00.toc
157897 INFO: SRCPATH [('C:\\Users\\AB43399\\Desktop\\cdpt_search_tool\\pyicon.ico', None)]
157897 INFO: Updating icons from ['C:\\Users\\AB43399\\Desktop\\cdpt_search_tool\\pyicon.ico'] to
C:\Windows\Temp\tmplqtaq2qp
157915 INFO: Writing RT_GROUP_ICON 0 resource with 132 bytes
157915 INFO: Writing RT_ICON 1 resource with 5355 bytes
157916 INFO: Writing RT_ICON 2 resource with 67624 bytes
157917 INFO: Writing RT_ICON 3 resource with 38056 bytes
157917 INFO: Writing RT_ICON 4 resource with 21640 bytes
157919 INFO: Writing RT_ICON 5 resource with 16936 bytes
157919 INFO: Writing RT_ICON 6 resource with 9640 bytes
157919 INFO: Writing RT_ICON 7 resource with 4264 bytes
157920 INFO: Writing RT_ICON 8 resource with 2440 bytes
157920 INFO: Writing RT_ICON 9 resource with 1128 bytes
157933 INFO: Appending archive to EXE
C:\Users\AB43399\Desktop\cdpt_search_tool\dist\cdptsearchtool.exe
158455 INFO: Building EXE from EXE-00.toc completed successfully.
I have seen warning one or two places
like
91328 WARNING: Hidden import "sip" not found!
129181 WARNING: One binary added with two internal names.
but I don't understand what is missing and how to fix them are they the one who is causing the problem???
Any help/direction is really appreciated!
Related
I am developing my flutter application on linux. But when I run the project I get an error like this:
Starting lib/main.dart in debug mode on Linux...
Creating a Linux application...
Gtk-Message: 20:43:51.812: Failed to load module "canberra-gtk-module"
Gtk-Message: 20:43:51.813: Failed to load module "canberra-gtk-module"
libGL error: MESA-LOADER: unable to open swrast: /usr/lib/x86_64-linux-gnu/libpthread.so.0: version 'GLIBC_PRIVATE' not found (required by /snap/flutter/current/usr/lib/x86_64) -linux -gnu/dri/../../../../lib/x86_64-linux-gnu/librt.so.1) (search paths: /usr/lib/x86_64-linux-gnu/dri: /snap /flutter/current/usr/lib/x86_64-linux-gnu/dri:, suffix _dri)
libGL error: driver failed to load: swrast
(my_project:987): WARNING : 20:43:51.980: Failed to initialize Flutter renderer: Failed to create GL context
Relative Linux noob here. Just trying to convert a python code into an .exe
When I run pyinstaller (1st time since install) it creates the dist file, but it is empty.
Error looks like this:
48 INFO: PyInstaller: 3.5+498e6ee058
48 INFO: Python: 3.9.9
51 INFO: Platform: Linux-5.14.0-kali4-amd64-x86_64-with-glibc2.33
61 INFO: wrote /home/kali/Py_Projects/turtles.spec
68 INFO: UPX is available.
70 INFO: Extending PYTHONPATH with paths
['/home/kali/Py_Projects', '/home/kali/Py_Projects']
70 INFO: checking Analysis
70 INFO: Building Analysis because Analysis-00.toc is non existent
70 INFO: Initializing module dependency graph...
77 INFO: Initializing module graph hooks...
79 INFO: Analyzing base_library.zip ...
3395 INFO: Processing pre-find module path hook distutils
8396 INFO: running Analysis Analysis-00.toc
8443 INFO: Caching module hooks...
8447 INFO: Analyzing /home/kali/Py_Projects/turtles.py
8577 INFO: Loading module hooks...
8577 INFO: Loading module hook "hook-distutils.py"...
8579 INFO: Loading module hook "hook-sysconfig.py"...
8587 INFO: Loading module hook "hook-lib2to3.py"...
8588 INFO: Loading module hook "hook-pydoc.py"...
8589 INFO: Loading module hook "hook-xml.etree.cElementTree.py"...
8589 INFO: Loading module hook "hook-_tkinter.py"...
8712 INFO: checking Tree
8712 INFO: Building Tree because Tree-00.toc is non existent
8712 INFO: Building Tree Tree-00.toc
8719 INFO: checking Tree
8719 INFO: Building Tree because Tree-01.toc is non existent
8719 INFO: Building Tree Tree-01.toc
8722 INFO: Loading module hook "hook-xml.py"...
8898 INFO: Loading module hook "hook-encodings.py"...
8975 INFO: Looking for ctypes DLLs
9004 INFO: Analyzing run-time hooks ...
9008 INFO: Including run-time hook 'pyi_rth_multiprocessing.py'
9014 INFO: Including run-time hook 'pyi_rth__tkinter.py'
9034 INFO: Looking for dynamic libraries
9823 INFO: Looking for eggs
9823 INFO: Python library not in binary dependencies. Doing additional searching...
Traceback (most recent call last):
File "/usr/bin/pyinstaller", line 11, in <module>
load_entry_point('PyInstaller==3.5+498e6ee058', 'console_scripts', 'pyinstaller')()
File "/usr/lib/python3/dist-packages/PyInstaller/__main__.py", line 111, in run
run_build(pyi_config, spec_file, **vars(args))
File "/usr/lib/python3/dist-packages/PyInstaller/__main__.py", line 63, in run_build
PyInstaller.building.build_main.main(pyi_config, spec_file, **kwargs)
File "/usr/lib/python3/dist-packages/PyInstaller/building/build_main.py", line 844, in main
build(specfile, kw.get('distpath'), kw.get('workpath'), kw.get('clean_build'))
File "/usr/lib/python3/dist-packages/PyInstaller/building/build_main.py", line 791, in build
exec(code, spec_namespace)
File "/home/kali/Py_Projects/turtles.spec", line 6, in <module>
a = Analysis(['turtles.py'],
File "/usr/lib/python3/dist-packages/PyInstaller/building/build_main.py", line 243, in __init__
self.__postinit__()
File "/usr/lib/python3/dist-packages/PyInstaller/building/datastruct.py", line 158, in __postinit__
self.assemble()
File "/usr/lib/python3/dist-packages/PyInstaller/building/build_main.py", line 575, in assemble
self._check_python_library(self.binaries)
File "/usr/lib/python3/dist-packages/PyInstaller/building/build_main.py", line 666, in _check_python_library
python_lib = bindepend.get_python_library_path()
File "/usr/lib/python3/dist-packages/PyInstaller/depend/bindepend.py", line 914, in get_python_library_path
python_libname = findLibrary(name)
File "/usr/lib/python3/dist-packages/PyInstaller/depend/bindepend.py", line 778, in findLibrary
utils.load_ldconfig_cache()
File "/usr/lib/python3/dist-packages/PyInstaller/depend/utils.py", line 375, in load_ldconfig_cache
path = m.groups()[-1]
AttributeError: 'NoneType' object has no attribute 'groups'
It seems a fairly straight forward process, I have updated both python and pyinstaller...not sure where to go next. Any help?
I am trying to use pyinstaller on a simple script which use pyscard.
from smartcard.Exceptions import NoCardException
from smartcard.System import readers
from smartcard.util import toHexString
for reader in readers():
try:
connection = reader.createConnection()
connection.connect()
print(reader, toHexString(connection.getATR()))
except NoCardException:
print(reader, 'no card inserted')
This is OK on Ubuntu but fails on Windows7 and Windows10 machines.
The failure is the same on both versions of windows, here is the screen output on Windows7:
C:\Users\seb\ownCloud\rex>pyinstaller --clean --win-private-assemblies --hidden-import=smartcard.scard._scard --onefile testpyscard.py
55 INFO: PyInstaller: 3.3.1
55 INFO: Python: 3.6.5
56 INFO: Platform: Windows-7-6.1.7601-SP1
57 INFO: wrote C:\Users\seb\ownCloud\rex\testpyscard.spec
60 INFO: UPX is not available.
60 INFO: Removing temporary files and cleaning cache in C:\Users\seb\AppData\Roaming\pyinstaller
74 INFO: Extending PYTHONPATH with paths
['C:\\Users\\seb\\ownCloud\\rex', 'C:\\Users\\seb\\ownCloud\\rex']
75 INFO: checking Analysis
76 INFO: Building Analysis because out00-Analysis.toc is non existent
76 INFO: Initializing module dependency graph...
79 INFO: Initializing module graph hooks...
81 INFO: Analyzing base_library.zip ...
2472 INFO: Analyzing hidden import 'smartcard.scard._scard'
2564 INFO: running Analysis out00-Analysis.toc
2566 INFO: Adding Microsoft.Windows.Common-Controls to dependent assemblies of final executable
required by C:\Python36\python.exe
3106 INFO: Caching module hooks...
3111 INFO: Analyzing C:\Users\seb\ownCloud\rex\testpyscard.py
3115 INFO: Loading module hooks...
3115 INFO: Loading module hook "hook-encodings.py"...
3195 INFO: Loading module hook "hook-pydoc.py"...
3196 INFO: Loading module hook "hook-xml.py"...
3382 INFO: Looking for ctypes DLLs
3383 INFO: Analyzing run-time hooks ...
3388 INFO: Looking for dynamic libraries
3461 INFO: Looking for eggs
3461 INFO: Using Python library C:\Python36\python36.dll
3462 INFO: Found binding redirects:
[]
3465 INFO: Warnings written to C:\Users\seb\ownCloud\rex\build\testpyscard\warntestpyscard.txt
3501 INFO: Graph cross-reference written to C:\Users\seb\ownCloud\rex\build\testpyscard\xref-testpyscard.html
3506 INFO: checking PYZ
3507 INFO: Building PYZ because out00-PYZ.toc is non existent
3507 INFO: Building PYZ (ZlibArchive) C:\Users\seb\ownCloud\rex\build\testpyscard\out00-PYZ.pyz
3910 INFO: Building PYZ (ZlibArchive) C:\Users\seb\ownCloud\rex\build\testpyscard\out00-PYZ.pyz completed successfully.
3914 INFO: checking PKG
3914 INFO: Building PKG because out00-PKG.toc is non existent
3915 INFO: Building PKG (CArchive) out00-PKG.pkg
3929 INFO: Updating manifest in C:\Users\seb\AppData\Roaming\pyinstaller\bincache00_py36_64bit\python36.dll
3930 INFO: Updating resource type 24 name 2 language 1033
4036 INFO: Updating manifest in C:\Users\seb\AppData\Roaming\pyinstaller\bincache00_py36_64bit\_ssl.pyd
4036 INFO: Updating resource type 24 name 2 language 1033
4047 INFO: Updating manifest in C:\Users\seb\AppData\Roaming\pyinstaller\bincache00_py36_64bit\unicodedata.pyd
4048 INFO: Updating resource type 24 name 2 language 1033
4055 INFO: Updating manifest in C:\Users\seb\AppData\Roaming\pyinstaller\bincache00_py36_64bit\pyexpat.pyd
4056 INFO: Updating resource type 24 name 2 language 1033
4066 INFO: Updating manifest in C:\Users\seb\AppData\Roaming\pyinstaller\bincache00_py36_64bit\_hashlib.pyd
4066 INFO: Updating resource type 24 name 2 language 1033
4075 INFO: Updating manifest in C:\Users\seb\AppData\Roaming\pyinstaller\bincache00_py36_64bit\select.pyd
4076 INFO: Updating resource type 24 name 2 language 1033
4083 INFO: Updating manifest in C:\Users\seb\AppData\Roaming\pyinstaller\bincache00_py36_64bit\_bz2.pyd
4083 INFO: Updating resource type 24 name 2 language 1033
4089 INFO: Updating manifest in C:\Users\seb\AppData\Roaming\pyinstaller\bincache00_py36_64bit\_lzma.pyd
4089 INFO: Updating resource type 24 name 2 language 1033
4095 INFO: Updating manifest in C:\Users\seb\AppData\Roaming\pyinstaller\bincache00_py36_64bit\_socket.pyd
4095 INFO: Updating resource type 24 name 2 language 1033
4100 INFO: Updating manifest in C:\Users\seb\AppData\Roaming\pyinstaller\bincache00_py36_64bit\_scard.pyd
4100 INFO: Updating resource type 24 name 2 language 1033
5488 INFO: Building PKG (CArchive) out00-PKG.pkg completed successfully.
5490 INFO: Bootloader C:\Python36\lib\site-packages\PyInstaller\bootloader\Windows-64bit\run.exe
5491 INFO: checking EXE
5491 INFO: Building EXE because out00-EXE.toc is non existent
5492 INFO: Building EXE from out00-EXE.toc
5493 INFO: Appending archive to EXE C:\Users\seb\ownCloud\rex\dist\testpyscard.exe
5499 INFO: Building EXE from out00-EXE.toc completed successfully.
C:\Users\seb\ownCloud\rex>.\dist\testpyscard.exe
Traceback (most recent call last):
File "testpyscard.py", line 28, in <module>
from smartcard.Exceptions import NoCardException
File "C:\Python36\lib\site-packages\PyInstaller\loader\pyimod03_importers.py", line 631, in exec_module
exec(bytecode, module.__dict__)
File "site-packages\smartcard\__init__.py", line 29, in <module>
File "C:\Python36\lib\site-packages\PyInstaller\loader\pyimod03_importers.py", line 631, in exec_module
exec(bytecode, module.__dict__)
File "site-packages\smartcard\System.py", line 28, in <module>
File "C:\Python36\lib\site-packages\PyInstaller\loader\pyimod03_importers.py", line 631, in exec_module
exec(bytecode, module.__dict__)
File "site-packages\smartcard\reader\ReaderFactory.py", line 34, in <module>
File "C:\Python36\lib\site-packages\PyInstaller\loader\pyimod03_importers.py", line 631, in exec_module
exec(bytecode, module.__dict__)
File "site-packages\smartcard\pcsc\PCSCReader.py", line 28, in <module>
File "C:\Python36\lib\site-packages\PyInstaller\loader\pyimod03_importers.py", line 631, in exec_module
exec(bytecode, module.__dict__)
File "site-packages\smartcard\pcsc\PCSCContext.py", line 27, in <module>
File "C:\Python36\lib\site-packages\PyInstaller\loader\pyimod03_importers.py", line 631, in exec_module
exec(bytecode, module.__dict__)
File "site-packages\smartcard\scard\__init__.py", line 1, in <module>
File "C:\Python36\lib\site-packages\PyInstaller\loader\pyimod03_importers.py", line 631, in exec_module
exec(bytecode, module.__dict__)
File "site-packages\smartcard\scard\scard.py", line 119, in <module>
File "site-packages\smartcard\scard\scard.py", line 118, in swig_import_helper
File "importlib\__init__.py", line 126, in import_module
ModuleNotFoundError: No module named 'smartcard.scard._scard'
[7924] Failed to execute script testpyscard
Note: The optional arguments to pyinstaller do not make any difference, I tried the 8 combinations with and without --onefile, --hidden-import and --win-private-assemblies. On ubuntu pyinstaller was invoked simply with the name of the script and --onefile.
Note 2: I had the same issue with Python3.6-32 on the Windows7 machine. I uninstalled all the python stuff I could find on the machine and made a fresh install of Python3.6 x86-64 and the matching pyscard (using dist\pyscard-1.9.6.win-amd64-py3.6.msi from https://ci.appveyor.com/project/LudovicRousseau/pyscard)
Any help to understand or fix the issue would be greatly appreciated, I don't even know if the problem is related to my setup or Pyinstaller or Pyscard :-S
I had same issue on Windows 7 and Windows 10. I think the problems occurs because of the runtime import in the swig_import_helper function in scard.py. So I have added following to my PyInstaller options:
--add-data "path_to_python\\Python36-32\\Lib\\site-packages\\smartcard\\scard\\_scard.cp36-win32.pyd;.\\smartcard\\scard\\"
This fixed the problem for me both under Windows 7 and Windows 10.
My testing environment:
Windows 7 64 bit
Python 3.6 32 bit
pyscard 1.9.7
PyInstaller 3.3.1
update1
i have to cabal install maude in order to use rewrite, if not import maude, how can het tools's haskell code use rewrite and reduce in its haskell code?
how to prove the logic with algebraic spec input file or default system
and logic string as parameters to return output into console ? is there examples for this and do all these in Scratch?
Moreover would like to read Owl file in Scratch and do inference in Scratch, is there example for this?
https://github.com/spechub/Hets/blob/master/Scratch.hs
update2
succeed to run first example RelationAndOrders.casl, however, what is the goal and output of process in Scratch.hs
martin#ubuntu:~/Downloads/Hets-master$ sudo cp Scratch /usr/lib/hets/hets-lib/Basic/Scratch
martin#ubuntu:~/Downloads/Hets-master$ cd /usr/lib/hets/hets-lib/Basic
martin#ubuntu:/usr/lib/hets/hets-lib/Basic$ ./Scratch RelationsAndOrders.casl
### file name 'RelationsAndOrders.casl' does not match library name 'Basic/RelationsAndOrders'
Analyzing library Basic/RelationsAndOrders version 1.0
Downloading Basic/Numbers ...
Analyzing library Basic/Numbers version 1.0
Analyzing spec Basic/Numbers?Nat
Analyzing spec Basic/Numbers?Int
Analyzing spec Basic/Numbers?Rat
Analyzing spec Basic/Numbers?DecimalFraction
... loaded Basic/Numbers
Analyzing spec Basic/RelationsAndOrders?Relation
Analyzing spec Basic/RelationsAndOrders?ReflexiveRelation
Analyzing spec Basic/RelationsAndOrders?IrreflexiveRelation
Analyzing spec Basic/RelationsAndOrders?SymmetricRelation
Analyzing spec Basic/RelationsAndOrders?AsymmetricRelation
Analyzing spec Basic/RelationsAndOrders?AntisymmetricRelation
Analyzing spec Basic/RelationsAndOrders?TransitiveRelation
Analyzing spec Basic/RelationsAndOrders?SimilarityRelation
Analyzing spec Basic/RelationsAndOrders?PartialEquivalenceRelation
Analyzing spec Basic/RelationsAndOrders?EquivalenceRelation
Analyzing spec Basic/RelationsAndOrders?PreOrder
Analyzing spec Basic/RelationsAndOrders?StrictOrder
Analyzing spec Basic/RelationsAndOrders?PartialOrder
Analyzing spec Basic/RelationsAndOrders?TotalOrder
Analyzing spec Basic/RelationsAndOrders?StrictTotalOrder
Analyzing spec Basic/RelationsAndOrders?RightUniqueRelation
Analyzing spec Basic/RelationsAndOrders?LeftTotalRelation
Analyzing spec Basic/RelationsAndOrders?BooleanAlgebra
Analyzing spec Basic/RelationsAndOrders?ExtPartialOrder
Analyzing spec Basic/RelationsAndOrders?ExtTotalOrder
Analyzing spec Basic/RelationsAndOrders?ExtBooleanAlgebra
Analyzing spec Basic/RelationsAndOrders?RichPartialOrder
Analyzing spec Basic/RelationsAndOrders?RichTotalOrder
Analyzing spec Basic/RelationsAndOrders?RichBooleanAlgebra
Analyzing view Basic/RelationsAndOrders?TotalOrder_in_Nat
Analyzing view Basic/RelationsAndOrders?TotalOrder_in_Int
Analyzing view Basic/RelationsAndOrders?TotalOrder_in_Rat
Analyzing view Basic/RelationsAndOrders?PartialOrder_in_ExtBooleanAlgebra
update3
when running BasicSpec.casl
martin#ubuntu:~/Downloads/Hets-master/CASL/test$ ./Scratch BasicSpec.casl
Analyzing file BasicSpec.casl as library BasicSpec
Analyzing spec BasicSpec?BasicSpec
unexpected mixfix token: 252
/home/martin/Downloads/Hets-master/CASL/test/BasicSpec.casl:710.31:
*** Error:
missing %number annotation
/home/martin/Downloads/Hets-master/CASL/test/BasicSpec.casl:710.31:
*** Error:
unexpected mixfix token: 253
/home/martin/Downloads/Hets-master/CASL/test/BasicSpec.casl:711.31:
*** Error:
missing %number annotation
/home/martin/Downloads/Hets-master/CASL/test/BasicSpec.casl:711.31:
*** Error:
unexpected mixfix token: 254
/home/martin/Downloads/Hets-master/CASL/test/BasicSpec.casl:712.31:
*** Error:
missing %number annotation
/home/martin/Downloads/Hets-master/CASL/test/BasicSpec.casl:712.31:
*** Error:
unexpected mixfix token: 255
Scratch: user error (Stopped due to errors)
log file shows:
INFO: Starting 'Oracle Net Configuration Assistant'
INFO:
INFO: Parsing command line arguments:
INFO: Parameter "orahome" = C:\app\Administrator\product\11.2.0\dbhome_1
INFO: Parameter "orahnam" = OraDb11g_home1
INFO: Parameter "instype" = typical
INFO: Parameter "inscomp" = client,oraclenet,javavm,server,ano
INFO: Parameter "insprtcl" = tcp,nmp
INFO: Parameter "cfg" = local
INFO: Parameter "authadp" = NO_VALUE
INFO: Parameter "responsefile" = C:\app\Administrator\product\11.2.0\dbhome_1\network\install\netca_typ.rsp
INFO: Parameter "silent" = true
INFO: Done parsing command line arguments.
INFO: Oracle Net Services Configuration:
INFO: #
INFO: # An unexpected error has been detected by HotSpot Virtual Machine:
INFO: #
INFO: # EXCEPTION_ACCESS_VIOLATION (0xc0000005) at pc=0x0000000006c7eb3f, pid=3972, tid=3440
INFO: #
INFO: # Java VM: Java HotSpot(TM) 64-Bit Server VM (1.5.0_17-b04 mixed mode)
INFO: # Problematic frame:
INFO: # C [oranl11.dll+0x3eb3f]
INFO: #
INFO: # An error report file with more information is saved as hs_err_pid3972.log
INFO: #
INFO: # If you would like to submit a bug report, please visit:
INFO: # http://java.sun.com/webapps/bugreport/crash.jsp
INFO: #
INFO:
WARNING:
INFO: Completed Plugin named: Oracle Net Configuration Assistant
You're getting a Java JVM crash. That's a very old JVM you're using, though, so you should upgrade to the more recent stable version (1.6.0_25 at time of writing) and try again.