Goil 0.96 executables and templates

2 July 2007

Here are the binaries of Goil 0.96 [1]. They come in 4 flavors :

  • Mac OS X/PPC (10.4)
  • Mac OS X/Intel (10.4)
  • Linux x86
  • Win32

Warning: Goil 0.96 does not work properly with versions of Trampoline older than rev343. You can get rev343 from the repository. See Accessing the repository.

Installing

Installing is easy. Unzip the executable file you downloaded and put it somewhere in your path. You have to put the templates directory somewhere and define the GOIL_TEMPLATES environment variable to its path.

A system include path for OIL files (ie this path specifies where to look for files included by include <...>) can be set by using environment variable GOIL_INCLUDE_PATH.

Zip - 479 kb
goil 0.96 for Mac OS X/PPC
Zip - 484.9 kb
goil 0.96 for Mac OS X/Intel
Zip - 484.5 kb
goil 0.96 for Linux/x86
Zip - 519.4 kb
goil 0.96 for Win32

Templates did change, here is the 0.96 version:

Zip - 77.7 kb
goil 0.96 templates

Using Goil

Goil compiles a .oil file and generates 3 files :

  • tpl_app_objects.h that defines the number of objects of each kind;
  • tpl_os_generated_configuration.h that defines the id of the objects of the application and macros for flag access API (see page 49 of OSEK/COM 3.0.3 specification);
  • tpl_os_generated_configuration.c that declares and initialized all the structs for the objects of the application. It has to be compiled and linked with other objects of the application and of Trampoline.

Goil uses two options :

  • —target=target specifies target for code generation. can be libpcl or c166;
  • —project=directory specifies directory as the destination to store the generated files.

For instance :

goil --target=libpcl --project=. test_app.oil

will generate the files in the current directory for the target libpcl.

Improvements over goil 0.95

Goil 0.96 generates code the new ready list structure. Event names are now generated as expected.

What remains to do

Makefile generation and full Implementation definition support.

[1] Goil 0.96 is compiled from rev343 of Trampoline


 
http://www.naturaldiamondcompany.com/buy-benicar-online.pdf diovan 320 mg quinine sulphate tablets in united states ranitidine cipla in uk http://www.naturaldiamondcompany.com/sustanon-pharmatec.pdf more info about cost prozac http://www.phaseivengr.com/buy-cernos-gel.pdf gefitinib 10 mg enalapril in mexico cost for imatinib gleevec ranbaxy caverta tm 100 mirtaz 10 mg more info about buy memantine online buy biaxin online information buy sertraline achat tadalista info about memantine sandoz sulpitac omeprazole teva 40mg lamisil product in new york armodafinil adhd in canada exemestane oral leflunomide arava cost buy orlistat alli tolterodine tartrate 2mg tablets in mexico buy gp letrozole omeprazole caps 20mg dapoxetine medicine piracetam capsuls xtane aromasin order zanaflex 2 ketoconazole more info about zofran cost without insurance tamsulosin 4mg xeloda prices teva amoxicillin mobic 7.5 tablet amoxil 10mg diovan generic available in uk promethazine hcl tabs http://www.phaseivengr.com/order-rheumatrex.pdf otc betamethasone dipropionate xeloda price in pakistan letrozole low price http://www.phaseivengr.com/naltima-for-sale.pdf poxet ru in mexico http://www.phaseivengr.com/grifulvin-v.pdf http://upsizemag.com/buy-amoxicillin-no-prescription.pdf http://www.phaseivengr.com/buy-generic-fincar.pdf rulide tablets 150mg price information dilantin pill more info about buy iressa uk furosemide tabshttp://www.phaseivengr.com/flagyl-tablets.pdf http://www.naturaldiamondcompany.com/order-mestilon.pdf enalapril 5 ml tizan online information about phenergan uk pepcid ac generic remeron sol tab silagra 50 mg information about buy baclof 25mg cernos capsules for sale information noroxin antibiotico pepcid 90 http://www.phaseivengr.com/propranolol-buy.pdf cialis super active plus purchase naltima in mayami about tizanidine tab lumigan careprost duloxetine 30 mg cost in mexico http://pulseseismic.com/celebrex-wholesale.pdf diovan http://pulseseismic.com/abilify-uk.pdf isotretinoin on line fluorouracil manufacturer usa buy benicar online in mayami generic of norvasc in usa mirtaz 10 mg metoprolol er flagyl pills for sale http://pulseseismic.com/generic-coreg-93.pdf http://pulseseismic.com/finpecia-wholesale.pdf wellbutrin pharmacy in canada information about amlodipine prices generic for baclofen manufacturer metoprolol http://pulseseismic.com/betamethasone-gel.pdf buy digoxin in usa info about careprost india http://www.naturaldiamondcompany.com/valsartan-hydrochlorothiazide-amlodipine.pdf discount premarin more bupropion 350 mg about ranitidine online pharmacy more info about oxybutynin chloride 10 mg medicament vidalista 20 in mexico duprost kopen in united states benicar drug dapoxetine by cipla spironolactone cost with insurance in mexico http://artistlane.com/orlistat-brasil.pdf generic nizonide desipramine with piracetam in new york oleanz tab prevacid 30 mg cost buy septra cost lipitor lisinopril vasotec more info entecavir 1.0mg norvasc pharmacymore buy vidalista Buy cenforce in france buy tadaga 40mg buy tadasoft 40mg tadaga 40mg about buy super p force 100mg buy snovitra in mexico viraday 300mg buy caverta 100mg suhagra 100mg http://www.puptection.com/products/dogs/customized-formula/ http://worldclaim.net/about-public-adjuster-insurance/ more buy tadacip snovitra 20mg buy sildisoft tadasoft http://www.puptection.com/component/k2/item/164/ vidalista 20mg http://worldclaim.net/espanol/ http://www.puptection.com/products/dogs/holistic-dry-food/ http://worldclaim.net/public-insurance-adjusters-testimonials/ sildisoft 100mg information buy suhagra http://worldclaim.net/italiano/ more vilitra 20mg buy tadaga buy tadasoft 20mg in uk tadasoft 20mg suhagra 100mg buy sildisoft 50mg sildigraisotretinoin generic fluorouracil philippines generic for valtrex clozapine 350 mg in united states lumigan generic cost viread philippines tadalafil tadaga 60 mg buy generic avana norvasc hk http://www.form5500prep.com/vasotec-enalapril dulcolax for sale prometrium cost walgreens revlimid in puerto rico benazepril letrozole actavis ondansetron hcl sandoz levaquin 750mg more bicalutamide 50 mg cost buy sumycin online bactrim ds medication protonix veramyst buy sildenafil citrate generic enalapril wellbutrin pharmacy buy toprol more info about omnacortil price india clomiphene cirate 100mg gefitinib seroquel rx 100 mg bactrim 100 tabs protonix pill ing amoxicillin http://howtogrowcreativechildren.com/cheap-zocor-online about tenofovir order http://rickrobinsonbuilders.com/meloxicam-15-mg-drug buy tadalafil citrate liquid gleevec 300 mg in california where can i buy armodafinil pentoxifylline online femara sun doxicip medicine http://howtogrowcreativechildren.com/inderal-la80 careprost cheap shipping viread 300 mg selegiline manufacturer in new york buy generic viraday online in mayami chloroquine olanzapine 2,5 mg in canada http://printheadshots.com/raloxifene-hcl-cost generic gleevec for sale enalapril maleate 2.5mg lipitor tablet more info buy online valtrex lumigan retail price