CD-ROM Content
Contents
1. Esterel Technologies License Server Select Configuration using Services and Esterel Technologies License Server from Service License File tab In the Config Services tab make sure both Start Server at Power Up and Use Services options are checked You can also start or stop the FLEXnet server manually from the Start Stop Reread tab Restart your computer after installing your application and FLEXnet The Server Diags tab helps you diagnose problems quicker Asking for and Installing License Keys on UNIX adm task Asking for license keys on UNIX 1 Choose the directory where you will store Esterel Technologies Licenses Server 2 Example usr local ET_FLEXnet We name it lt ET_FLEXnet gt NN NB Extract the Esterel Technologies License Server archives lt cdrom gt depends on the network and system configuration e g cdrom solaris cd lt ET_FLEXnet gt gzip dc lt cdrom gt estereld tgz tar xvfo Prepare the license request cd lt ET_FLEXnet gt estereld install sh Accept the default choice for installation directory pwd Type in your name fax number e mail address company name and your contract number Send the request txt file to support esterel technologies com or fax it to 33 4 92 02 54 56 Don t forget to indicate where on the IP subnetwork e g 192 10 licenses will be floating Client machines on which Esterel Technologies applications run should h2. Files Microsoft Visual Studio 8 VC PlatformSDK lib C Program Files Microsoft Visual Studio 8 SDK v2 0 lib LIBPATH C WWINDOWS Microsoft NET Framework v2 0 50727 C Program Files Microsoft Visual Studio 8 VWC ATLMFC LIB Installing Configuring and Starting on UNIX Installation procedure must be performed entirely before running your application Mounting the CD ROM adm task Mount the CD ROM into the drive Creating the installation directory adm task The following applies for first time installation only 1 In order to remove write permission for the group and others set the umask read write execute permission management as follows umask 022 2 Go to a disk directory for which you have write access by using a cd command Make sure you have enough space available on this disk partition to install all products No file will be created outside this directory 3 Create a sub directory as follows mkdir lt prod_install_dir gt 4 Switch to the installation directory cd lt prod_install_dir gt Extracting the Esterel Studio archive Extract the Esterel Studio archives lt cdrom gt depends on the network and system configuration e g cdrom solaris gzip dc lt cdrom gt es_setup tgz tar xvfo Unmounting the CD ROM adm task 12 07 2007 10 44 Installation Guidelines 5 of 8 file C Program 20Files Esterel 20Technologies ES55i8 install htm Unmount the CD ROM and eject it Configuring your envi
3. Installation Guidelines file C Program 20Files Esterel 20Technologies ES55i8 install htm ESTEREL STUDIO Installation Guidelines CD ROM Content Esterel Studio Distribution Esterel Studio Modules Esterel Studio Documentation Installation for Windows and UNIX Hardware devices required installing Esterel Studio Installing Configuring and Starting on Windows Installing Configuring and Starting on UNIX Managing License Files and Tokens Introduction A Token License System Asking for and Installing License Keys on Windows adm task Asking for and Installing License Keys on UNIX adm task Configuring User s Environment on Windows and UNIX user task CD ROM Content Esterel Studio Distribution The following applications are delivered on your Esterel Studio CD ROM Applications for Description Windows and UNIX Esterel Studio modules The Esterel Studio application modules as described below Esterel Technologies Esterel Technologies products use the FLEXnet license manager from License Server Macrovision Corporation for product license administration The FLEXnet license server must be installed on your Local Area Network Refer to Managing License Files and Tokens Adobe Acrobat Reader Allows you to read the PDF files included on your CD ROM See http www adobe com products acrobat readstep2 html for more information on Acrobat Reader Esterel Studio Modu
4. SE_FILE environment variable The FLEXnet License Server can be installed either on a network server preferred or locally on your own computer See the table below for instructions Your computer A network server The installation sets Change your environment variable ESTERELD_LICENSE_FILE to ESTERELD_LICENSE_FILE this value lt PortNumber gt lt ServerHost gt to the path of your lt PortNumber gt is the free TCP port number specified in the license ESTERELD lic file file e g 29030 lt ServerHost gt is the name of the computer where the FLEXnet License Server is installed To set ESTERELD_LICENSE_FILE environment variable you can e Click on Start gt Settings gt Control Panel e Double click on System icon e Select Advanced panel and click on Environment Variables button e Create or edit ESTERELD_LICENSE_FILE and write correct value see table above 2 Restart your computer at the end of the installation process ESHOME and ESTEREL are set automatically to the installation directory If you have a previous installation of Esterel Studio you will need to reset these variables by hand to switch to the previous installation Starting Esterel Studio on Windows To start the application you can either e Click on Start gt Programs gt Esterel Studio gt Esterel Studio e Double click on one of the Esterel Studio project files etp file Troubleshooting incorrect settings for Visual C NET 2005 on Windows Symptoms of inc
5. an estudio and esterelv7 12 07 2007 10 44 Installation Guidelines file C Program 20Files Esterel 20Technologies ES55i8 install htm 6 of 8 The following environment variables are optional and should be set to overwrite the defaults Variable SunOS Default Linux Default Comment rene Command Command gcc To compile C files for simulation Ip To print files EDITOR emacs To edit text files PDFVIEWER acroread To view PDF files RTFVIEWER abiword abiword To view RTF files NAVIGATOR netscape mozilla To view HTML files Checking your system on UNIX 1 You can check your system with the es_check_system command line 2 Check that no package is missing for Esterel Studio Starting Esterel Studio on UNIX 1 Start Esterel Studio with the estudio command line 2 Browse the online documentation Managing License Files and Tokens Introduction A Token License System Esterel Technologies uses the FLEXnet token license manager from Macrovision Corporation for product license administration License tokens control simultaneous executions of a given product SCADE Esterel Studio or both installed on a network of UNIX and or Windows machines see picture below When there are not enough license tokens available access to the application is denied To purchase new licenses or request a demo license please contact our customer representatives at sales esterel technologies com A FLEXnet End User Manual is include
6. ave an IP address included in that 7 of 8 12 07 2007 10 44 Installation Guidelines file C Program 20Files Esterel 20Technologies ES55i8 install htm 8 of 8 range Installing license keys on UNIX 1 Insert the license keys you received in the file lt ET_FLEXnet gt estereld ESTERELD lic 2 Start your license server cd lt ET_FLEXnet gt estereld esterel sh start NB The esterel sh diag command line helps you diagnose problems quicker Configuring User s Environment on Windows and UNIX user task In each user environment the ESTERELD_LICENSE_FILE variable must be set This variable refers either to a license file on a user machine or to a TCP port on a license server Refer to Installing Configuring and Starting on Windows or Installing Configuring and Starting on UNIX The use of Esterel Studio software is governed by the conditions defined on delivery of the license agreement Esterel Technologies gives no guarantee concerning the use of these programs Copyright Esterel Technologies SA 2000 2006 All rights reserved to Esterel Technologies SA Esterel Studio is a trademark registered by Esterel Technologies SA www esterel technologies com Support E mail support esterel technologies com 12 07 2007 10 44
7. d on your CD ROM in PDF format Esterel Technologies products are controlled by a software daemon ESTERELD This vendor daemon runs under the control of a main FLEXnet software daemon Imgrd on one single or three redundant physical server s 12 07 2007 10 44 Installation Guidelines file C Program 20Files Esterel 20Technologies ES55i8 install htm FLEXim dacmon Imegrd company s daemon ESTERELD and license file A Token request B License token allocation Asking for and Installing License keys on Windows adm task Asking for license keys on Windows 1 Login as administrator 2 From the CD ROM run the install program flexlm exe 3 4 NB Select the entry request txt from Start gt Programs gt Esterel Technologies License Server This pops up a request txt file Send this request txt file to support esterel technologies com or fax it to 33 4 92 02 54 56 Don t forget to indicate where on the IP subnetwork e g 192 10 licenses will be floating Client machines on which Esterel Technologies applications run should have an IP address included in that range Installing license keys on Windows 1 Login as administrator 2 Copy and paste the license keys you received to the ESTERELD lic file in aK 7 NB Start gt Programs gt Esterel Technologies License Server gt ESTERELD lic Save the license keys Launch the FLEXnet LMTOOLS from Start gt Programs gt
8. l Esterel Studio on your local computer even if your license server is on a remote server Hardware devices required to install Esterel Studio CPU 1 GHz or faster Processor 256 Mb minimum 512 Mb recommended Disk Space 120 Mb minimum on Windows 250 Mb minimum on UNIX Peripherals CD ROM drive for installation OS Windows 2000 SP4 Windows XP SP2 SUN Sparc Solaris 8 Solaris 9 with latest patches run es_check_system Redhat Linux Enterprise 3 Update 2 Enterprise 4 Network adapter and TCP IP installed and configured for license management Display 65000 colors 17 inch recommended PC No X server is supported to run Esterel Studio for Unix Linux on a PC X Server Bold characters indicate the OS on which Esterel Studio has been compiled Tests have been performed on the other ones to make sure all Esterel Studio tools supports them 12 07 2007 10 44 Installation Guidelines file C Program 20Files Esterel 20Technologies ES55i8 install htm 3 of 8 Installing Configuring and Starting on Windows Before installing Esterel Studio you should make sure that Microsoft Visual C NET 2005 is already installed if you plan to use the simulator Installing on Windows 1 Login as administrator 2 From the CD ROM run es_setup exe the Esterel Studio installation program NB If you encounter problems during setup uninstall and re install your application Configuring on Windows 1 Set your ESTERELD_LICEN
9. les Esterel Studio Editor Esterel Studio Simulator Esterel Studio Source Code Coverage lof8 12 07 2007 10 44 Installation Guidelines file C Program 20Files Esterel 20Technologies ES55i8 install htm 2 of 8 Esterel Studio Design Verifier Esterel Studio Sequential Equivalence Checker Esterel Studio Testbench Generators Esterel Studio VHDL Code Generator Esterel Studio Verilog Code Generator Esterel Studio C C Code Generator Esterel Studio SystemC Code Generator Esterel Studio SPIRIT exporter Esterel Studio Executable Specification Exporter Esterel Studio Parametric IP package Exporter amp Generator Esterel Studio Model Reporter Esterel Studio ECO and Traceability Module NB if you don t have the required license to use a specific module its features are disabled menu items are greyed out or an error message pops up each time you try using the module Esterel Studio Documentation The documentation is available in PDF format in the doc directory and in HTML format through the Help menu of Esterel Studio Open MANUALS htm to get the list of all manuals If you are upgrading from a previous version of Esterel Studio you should read the Release Notes first Installation for Windows and UNIX Installing Esterel Studio requires installing a license server either on a network server preferred or on your local computer More details in Managing License Files and Tokens To increase performance instal
10. orrect settings are e Warning messages during installation for example C was not detected e Compilation failure MS compiler not found 1 Start the Microsoft Visual C GUI to update the Windows registry then close it 2 Go to the Environment Variables area from Start gt Settings gt Control Panel gt System gt Advanced 12 07 2007 10 44 Installation Guidelines file C Program 20Files Esterel 20Technologies ES55i8 install htm 4 of 8 tab in order to check the variables listed in the following tables System variable Value for MSVC NET 2005 C Program Files Microsoft Visual Studio 8 Common7 IDE Path C Program Files Microsoft Visual Studio 8 Common7 IDE C Program Files Microsoft Visual Studio 8 VC BIN C Program Files Microsoft Visual Studio 8 Common7 Tools C Program Files Microsoft Visual Studio 8 Common7 Tools bin C Program Files Microsoft Visual Studio 8 VC PlatformS DK bin C Program Files Microsoft Visual Studio 8 SDK v2 0 bin C WINDOWS Microsoft NET Framework v2 0 50727 C Program Files Microsoft Visual Studio 8 WC VCPackages INCLUDE C Program Files Microsoft Visual Studio 8 WC ATLMFC INCLUDE C Program Files Microsoft Visual Studio 8 VWC INCLUDE C Program Files Microsoft Visual Studio 8 VC PlatformSDK include C Program Files Microsoft Visual Studio 8 SDK v2 0 include LIB C Program Files Microsoft Visual Studio 8 VWC ATLMFC LIB C Program Files Microsoft Visual Studio 8 VC LIB C Program
11. ronment user task on UNIX Set the environment variables in each user s gt To do so refer to the following tables start up file profile or login Bourne like shell sh ksh zsh or bash Com ESTERELD_LICENSE_FILE ESTERELD_LICENSE_FILE lt PortNumber gt lt ServerHost gt export ESTERELD_LICENSE_FILE ESHOME and ESTEREL LD_LIBRARY_PATH ESTERELD_LICENSE_FILE ESHOME and ESTEREL PATH LD_LIBRARY_PATH ESHOME lt prod_install_dir gt ESTEREL ESHOME export ESHOME ESTEREL PATH ESHOME bin PATH export PATH LD_LIBRARY_PATH ESHOME bin LD_LIBRAR Y_PATH export LD_LIBRARY_PATH csh like shell csh or tesh setenv ESTERELD_LICENSE_FILE lt PortNumber gt lt ServerHost gt setenv ESHOME lt prod_install_dir gt setenv ESTEREL ESHOME setenv PATH SESHOME bin PATH setenv LD_LIBRARY_PATH ESHOME bin LD_LIBRARY_PATH lt Port is the port n specif licens e g 2 lt Serv is the the cc where FLEX Licen is inst These variat requir UNIX Put th comp your order simul Requi call b other estudi estere Comment lt PortNumber gt is the free TCP port number specified in the license file e g 29030 lt ServerHost gt is the name of the computer where the FLEXnet License Server is installed These variables are required on UNIX Put the C compiler in your path in order to run simulations Required to call binaries other th
Download Pdf Manuals
Related Search