Goil 0.98 executables

3 August 2007

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

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

Warning: Goil 0.98 does not work properly with versions of Trampoline older than rev343. Get the last revision of Trampoline 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 - 487.4 kb
goil 0.98 for Mac OS X/PPC
Zip - 491 kb
goil 0.98 for Mac OS X/Intel
Zip - 495.2 kb
goil 0.98 for Linux/x86
Zip - 530.4 kb
goil 0.98 for Win32

Templates did not 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.96

Goil 0.98 fixes a bug in AUTO event mask computation.

What remains to do

Makefile generation and full Implementation definition support.

[1] Goil 0.98 is compiled from rev345 of Trampoline


 
http://artistlane.com/buy-silagra-100.pdf information lipitor prices finpecia to buy fluticasone for sale generic bupropion anchen buy pentoxifylline online ondansetron odt price in united states memantine tablet information about olanzapine 2.5 mg tabs buy cheap mestilon premarin pills amoxicillin 500mg cheap simvastatin equivalent 80 mg of prozac information about dapoxetine overnight shipping http://www.naturaldiamondcompany.com/medicine-diovan.pdf filagra usa piracetam oral in mayami http://upsizemag.com/caverta-in-uk.pdf fludrocortisone buy online uk in france more fluconazole for sale http://www.naturaldiamondcompany.com/simvastatin.pdf amantadine adhd in mexico enalapril maleate 10mg spironolactone without prescription buy acamprol canada malegra fxt in india fluconazole tablet 150 mg buy baclofen 25mg in india more gleevec cost at caremark lumigan buy cheap buy vilitra without a prescription information aricept medication cost http://www.naturaldiamondcompany.com/mirtazapine-manufacturer.pdf cheap price medrol celecoxib online omeprazole 20 mg pills order cyproheptadine weight gain http://www.naturaldiamondcompany.com/fosamax-price-walmart.pdf ketoconazole buy arpizol usa purchase trazodone online valacyclovir 500 mg tablet http://www.naturaldiamondcompany.com/betamethasone-valerate-uk.pdf zofran online pharmacy http://www.naturaldiamondcompany.com/oral-fluconazole-uk.pdf sustanon 250 for sale more info lowest price for valacyclovir http://www.naturaldiamondcompany.com/bimatoprost-online-india.pdf non prescription lumigan buy sertraline 25 mg calutide for sale buy phenytoin sodium 100 mgfertyl super online information order amitriptyline drug dilantin celebrex prescription more info buy enalapril maleate 5mg ditropan 5mg tablets about buy lenalidomide canada sirolimus oral http://www.naturaldiamondcompany.com/vardenafil-online.pdf lipitor price in canada http://pulseseismic.com/lisinopril-20.pdf http://artistlane.com/generic-depo-medrol.pdf discount zoloft from india 5 mg methotrexate in canada dapsone 100 mg doxepin 5mg maxalt price comparison caverta in malaysia buy generic paxil celebrex prescribed http://artistlane.com/buy-mirtazapine-15-mg.pdf arcalion medicina vilitra purchase hostacycline online http://upsizemag.com/buy-anafranil-online.pdf methylprednisolone purchase http://www.naturaldiamondcompany.com/quetiapine-fumarate-50-mg.pdf comprar poxet buy revlimid 25 mg in california zantac otc tizan fluticasone propria buy prozac 60 mg digoxin 25 mg tab no prescription fluorouracil prednisolone pharmacy in france gleevec cost information levaquin pills prednisolone generic filagra usa price of suprax 100mg of paxil bupropion xl bupropion hcl medicine similar to meloxicam zetia 10 mg price xenical availability in mexico generic casodex 50 mg buy cheapest soranib griseofulvin microsize 500mg in new york pantoprazole cost walgreens more info clarithromycin price usa suhagra tadacip omeprazole teva 40mg soranib tablets price information cymbalta drug generic for baclofen fincar online bestellen http://upsizemag.com/acheter-tadacip-en-ligne.pdf
info about buy tadacip information about buy sildisoft 50mg more info about buy tadaga 40mg tadaga 40mg vilitra 20mg in california snovitra 20mg in canada http://www.puptection.com/about-us2/mission-statement/ buy super p force 100mg super p force buy tadacip 20mg more Buy cenforce vidalista 20mg buy vidalista 20mg tadasoft 20mg in france tadasoft 40mg sildisoft buy vidalista more info tadacip 20mg super p force 100mg in france buy caverta 100mg viraday 300mg in india http://www.puptection.com/home/item/7-mission-statement/ sildigra tadasoft 40mg snovitra http://worldclaim.net/contact/ tadasoft 20mg buy suhagra 100mg sildisoft 100mg snovitra 20mg buy tadaga
http://destinvacationrentalhomes.com/diflucan-pfizer http://www.form5500prep.com/buy-zovirax-online biaxin 500 mg price doxazosin 2 mg cost esomeprazole generic price philippines bactrim 112 buy amoxicillin 500 mg cheap eriacta uk buy xenical in mayami flagyl sorafenib teva lumigan 7.5 ml generic brand for diovan luvox 50 mg synthroid coupon walgreens buy cheap ketasma piracetam tablets nootropil 800 calaptin tablet amlodipine besylate 10mg http://edcharkow.com/blog/buy-xalatan-online naltrexone 0.5 mcg information about mebendazole medicine buy tadalafil professional in india buy celebrex no prescription memantine pantoprazole otc australia bactrim 80 mg more buy benicar diovan hct tab in mexico cialis super active information about cyclophosphamide online evista drug information about enalapril pills norvasc manufacturer vibramycin liquid bactrim 800 in usa generic anabrez prednisolone 5 mg zovirax oral ointment mirtazepine 15mg imatinib generic cost information carvedilol nuvigil prescription propranolol anxiety https://www.envturfmgmt.com/generic-liquid-zoloft modafinil price more info tenofovir tablets celebrex capsule fluconazole israel nuvigil for cheapest acyclovir bactrim discount generic dapoxetine in california buy duloxetine 30 mg non-prescription progesterone replacement buy lotensin i want a iressa perscription purchase methoxsalen online in new york buy generic trental in france zyvox 600