Установка и настройка системы Spin c GUI XSpin (1161355)
Текст из файла
Установка и настройка системы Spin c GUI XSpinДанное приложение – это пошаговая инструкция по установке комплекса верификации Spinна персональный компьютер, работающий под управлением операционной системыWindows.Домашняя страничка Spin – www.spinroot.com. На этой странице присутствует описаниекак самой системы, так и рекомендации по её установке.На данном сайте можно, в том числе, скачать последнюю версию пакета Spin. Там она лежитв виде пакета с именем типа pc_spin***.zip, где *** - номер версии продукта.В описанной ниже последовательности действий, используется заранее собранный (иобъединённый в один архив) комплект ПО for_spin_new.rar, необходимого для работы ссистемой.
Описываемый способ настройки не единственный, есть и иные, для нихрекомендуем обратиться к домашней странице пакета Spin.Шаг 1: Загрузка комплекта ПО.1) Для загрузки архива, содержащего программное обеспечение, настройка которогоописывается в данном руководстве, необходимо загрузить архив for_spin_new.rar.2) Полученный файл необходимо распаковать в любой, выбранный пользователемкаталог, для удобства ссылки на него в описании процесса установки назовем егоLOCAL_PACKAGE_DIRECTORY.Шаг 2: Установка пакета Cygwin.Запустите на выполнение файл setup.exe, который произведёт инициализациюпрограммного комплекса Cygwin, эмулирующего работу операционной системы UNIX всистемах управляемых ОС Windows.
(В описываемом примере – Microsoft Windows XP SP 1build 2600.) Опишем последовательность действий, возникающих при ответах на вопросы,задаваемые в возникающих диалоговых окнах при установке Cygwin.1) В диалоговом окне Cygwin Setup следует нажать кнопку Далее.2) В окне Cygwin Setup – Chose Installation Type выбрать вариант Install from LocalDirectory.3) Создать домашний каталог для Cygwin (рекомендовано, с:/cygwin). Назовем этоткаталог условно CYGWIN_HOME_DIRECTORY.4) В окне Cygwin Setup – Chose Installation Directory нужно указать каталог, в которыйбудет произведена установка Cygwin, а также переставить значение кодировки текстапо умолчанию в положение DOS/text.5) В окне Cygwin Setup – Select Local Package Directory при помощи кнопки BrowseследуетуказатьпутьклокальномукаталогуLOCAL_PACKAGE_DIRECTORY/cygwin_distr_download, где хранится архивCygwin.6) setup сам сформирует сценарий установки и по завершению этого процесса перейдётк следующему шагу.7) Окно Cygwin Setup – Select Packages демонстрирует структурированный списоккомпонент, установка которых будет произведена после подтверждения корректностивыбранных модулей.8) Следует открыть пункт Devel и путём переключения пунктов списка, содержащихсяпод надписью Skip, добиться того, что бы все файлы содержащиеся в этом разделебыли выбраны для установки.
В конечном итоге, список установки должен выглядетьследующим образом, то есть, все компоненты группы Devel, из представленных вархиве, должны быть выбраны для установки.29) Далее система производит копирование модулей и настройку конфигурационныхфайлов. Эти операции происходят в автоматическом режиме, в соответствии сосценарием и вмешательства пользователя не требуют.10) Установка завершается созданием ярлыков для установленной программы.Шаг 3: Установка пакета Spin.1) Создайте в каталоге CYGWIN_HOME_DIRECTORY/bin папку spin. Назовем этотдомашний каталог пакета Spin SPIN_HOME_DIRECTORY. Если ранее был выбранрекомендованный каталог CYGWIN_HOME_DIRECTORY, то полный адрес папкипакета Spin будет c:/cygwin/bin/spin.2) РазархивируйтевпапкуSPIN_HOME_DIRECTORY(например,содержимоеархиваpc_spin427.zipизLOCAL_PACKAGE_DIRECTORY.c:/cygwin/bin/spin)3) В каталоге SPIN_HOME_DIRECTORY переименуйте файл xspin427.tcl вxspin.tcl.4) Откройте файл xspin.tcl в текстовом редакторе, поддерживающем перенос строк втекстовых файлах, например, WordPad.5) Изменитепуть,указанныйвначалефайла,наактуальный(например,SPIN_HOME_DIRECTORY/xspin.tclс:/cygwin/bin/spin/xspin.tcl).
Обратите внимание на то, что следует указыватьполный путь к файлу вместе с расширением .tcl. Строка в результате будетвыглядеть подобным образомexec wish c:/cygwin/bin/spin/xspin.tcl -- $*6) Найдите строку, где указан путь к интерпретатору Spin. Установите полный путь кисполняемому файлу, соответствующий SPIN_HOME_DIRECTORY/spin.exe. Вслучае выбора названий каталогов по умолчанию строка будетset SPIN "c:/cygwin/bin/spin/spin.exe"; # use a full path-name ifnecessary7) Сохраните файл. Закройте редактор.8) Замените библиотеку cygwin1.dll, входящей в состав Сygwin, на ту, котораядоступна для загрузки с сайта spinroot.com или её же, находящуюся в архивеfor_spin_new.rar (в LOCAL_PACKAGE_DIRECTORY).
Размеры этих библиотекотличаются.Шаг 4: Первый запуск программы Cygwin и Spin.Осуществить первый запуск программы Cygwin можно либо с помощью ярлыка,расположенного на рабочем столе, либо напрямую – запуском .bat файла. Во время первогостарта, Сygwin создаст конфигурационные файлы и, по завершению данной операции,выдаст приглашение на ввод команд $.В запустившейся оболочке следует ввести полный путь к tcl файлу, который необходимозапустить на выполнение. В случае если все названия каталогов были произведены безкоррекции, то путь будет следующим: /bin/spin/xspin.tcl.3После этого откроется окно системы Spin. Обратите внимание на то, что бы в окнесообщений программы не было упоминания об ошибках.На этом установка пакета Spin завершена.4.
Характеристики
Тип файла PDF
PDF-формат наиболее широко используется для просмотра любого типа файлов на любом устройстве. В него можно сохранить документ, таблицы, презентацию, текст, чертежи, вычисления, графики и всё остальное, что можно показать на экране любого устройства. Именно его лучше всего использовать для печати.
Например, если Вам нужно распечатать чертёж из автокада, Вы сохраните чертёж на флешку, но будет ли автокад в пункте печати? А если будет, то нужная версия с нужными библиотеками? Именно для этого и нужен формат PDF - в нём точно будет показано верно вне зависимости от того, в какой программе создали PDF-файл и есть ли нужная программа для его просмотра.
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
