From bf74a0983c2d534e217e7312ab559ca8929ff8a2 Mon Sep 17 00:00:00 2001 From: umarcor Date: Sun, 27 Dec 2020 22:10:38 +0100 Subject: rework 'python', rename to 'pyGHDL' * Rename 'python' to 'pyGHDL'. * Let 'thin' be 'libghdl'. * Move move 'pyutils.py' from 'python/libghdl/vhdl' to a separate package ('pyGHDL/libghdl/utils/'). * Update 'vhdl_langserver' accordingly. * Rename 'vhdl_langserver' to 'lsp'. * Move 'ghdl-ls' to 'pyGHDL/cli'. --- python/libghdl/thin/files_map_editor.py | 12 ------------ 1 file changed, 12 deletions(-) delete mode 100644 python/libghdl/thin/files_map_editor.py (limited to 'python/libghdl/thin/files_map_editor.py') diff --git a/python/libghdl/thin/files_map_editor.py b/python/libghdl/thin/files_map_editor.py deleted file mode 100644 index bf9492786..000000000 --- a/python/libghdl/thin/files_map_editor.py +++ /dev/null @@ -1,12 +0,0 @@ -from ctypes import c_int32, c_char_p, c_bool -from libghdl import libghdl - -Replace_Text = libghdl.files_map__editor__replace_text_ptr -Replace_Text.argstype = [c_int32, c_int32, c_int32, c_int32, c_char_p, c_int32] -Replace_Text.restype = c_bool - -Fill_Text = libghdl.files_map__editor__fill_text_ptr - -Check_Buffer_Content = libghdl.files_map__editor__check_buffer_content - -Copy_Source_File = libghdl.files_map__editor__copy_source_file -- cgit v1.2.3