====== Void Safe Starter Project estudio18.11 ======

''estudio18.11'' does not create a void-safe project by default (later versions may do so). Instead of using the Settings in the IDE, you may use a script ''eiffel-new'' to create a Void safe project that will include ''ESpec'' unit testing and ''Mathmodels'' libraries. 

===== On Prism Workstations or the SEL-VM =====
The script queries what name you would like for your project (e.g. ''calendar''):

<code>
red> eiffel-new 
New Eiffel void-safe project name: calendar
red> ls
calendar
</code>

The new project is in the folder ''calendar''. 

  estudio18.11 calendar/calendar.ecf&
===== Download =====

Alternatively, you may download the following zip file:

{{ :eiffel:starter17.05.zip |Eiffel 17.05 Void Safe Starter Project}}

If you unzip it you will see

<code>
starter18.11/
├── eiffel-new
└── project
    ├── model
    ├── project.ecf
    ├── root
    │   └── root.e
    └── tests
        └── tests.e
</code>

''eiffel-new'' is a python3 script (make sure it is executable) that will change the name ''project'' to one of your choice (say ''calendar''). 

<code>
> ./eiffel-new 
New Eiffel void-safe project name: calendar
</code>

Assuming python3 is installed on your system, the new name of the project will be ''calendar''. 

<code>
calendar
├── calendar.ecf
├── model
├── root
│   └── root.e
└── tests
    └── tests.e
</code>

====== MathModels ======

If you are working on your own Laptop, you may obtain the ''Mathmodels'' library by logging in as ''anonymous'' (blank password) via:

  svn export http://svn.eecs.yorku.ca/repos/sel-open/mathmodels/
  
  
You need to step an environmental variable ''$MATHMODELS''. Something like:
  
<code>
export ISE_EIFFEL=/usr/local/Eiffel_18.11
export ISE_PLATFORM=macosx-x86-64
export MATHMODELS=/home/user/me/mathmodels
export PATH=$PATH:$ISE_EIFFEL/studio/spec/$ISE_PLATFORM/bin
</code>

[[https://www.eecs.yorku.ca/course_archive/2016-17/W/3311/eiffel-docs/mathmodels/index.html|Documentation for Mathmodels]]