Eiffel The Language
Setting It All Up
Getting Started
Design and Documentation
Miscellaneous
- Old Site (login)
Eiffel The Language
Setting It All Up
Getting Started
Design and Documentation
Miscellaneous
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.
The script queries what name you would like for your project (e.g. calendar
):
red> eiffel-new New Eiffel void-safe project name: calendar red> ls calendar
The new project is in the folder calendar
.
estudio18.11 calendar/calendar.ecf&
Alternatively, you may download the following zip file:
Eiffel 17.05 Void Safe Starter Project
If you unzip it you will see
starter18.11/ ├── eiffel-new └── project ├── model ├── project.ecf ├── root │ └── root.e └── tests └── tests.e
eiffel-new
is a python3 script (make sure it is executable) that will change the name project
to one of your choice (say calendar
).
> ./eiffel-new New Eiffel void-safe project name: calendar
Assuming python3 is installed on your system, the new name of the project will be calendar
.
calendar ├── calendar.ecf ├── model ├── root │ └── root.e └── tests └── tests.e
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:
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