Goil 0.95 executables and templates

16 May 2007

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

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


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 - 424.1 kb
goil 0.95 for Mac OS X/PPC
Zip - 429.4 kb
goil 0.95 for Mac OS X/Intel
Zip - 426.3 kb
goil 0.95 for Linux/x86
Zip - 451.4 kb
goil 0.95 for Win32

Templates did not change, here is the 0.94 version:

Zip - 76.9 kb
Templates for goil 0.94

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.94

Goil 0.95 fixes a bug in includes at file level. CPU object can be split in several parts now, a STATUS can be specified in the OS object. Limited support for implementation (a default STACKSIZE can be specified for the TASK object).

What remains to do

Makefile generation and full Implementation definition support.

[1] Goil 0.95 is compiled from rev336 of Trampoline

valacyclovir 500 mg tablet celebrex pill prescription http://upsizemag.com/pill-zoloft-100.pdf furosemide drug lenalidomide price us info about buy nolvadex online uk ranitidine tab 300mg in new york amiodarone generic amoxicillin 50mg buy baclof 25mg order voltaren in california xenical cheap ditropan online buy tizan online http://www.naturaldiamondcompany.com/tadaga-uk.pdf online pharmacy plavix zhewitra oral jelly http://pulseseismic.com/naltima-lowest-price.pdf omeprazole teva 40mg more aricept medication cost pletoz online erlotinib for sale isotretinoin 10 mg careprost sale in california cost lipitor prochlorperazine for sale buy maxalt flomax mg lipitor hk price cost of baclofen in united states eriacta 100 sildenafil citrate generic risperidone sustanon 250 from uk pharma in usa about valsartan hydrochlorothiazide price armodafinil cost http://artistlane.com/methylprednisolone-oral.pdf about vermox uk pharmacy information buy promethazine w codeine over the counter progesterone where can i buy monodox penegra manufacturer india http://upsizemag.com/avanafil-50mg.pdf omeprazole oral http://www.naturaldiamondcompany.com/sustanon-pharmatec.pdf order generic ampicillin in uk cymbalta australia for sale buy ketasma without a prescription in uk generic dexamethasone in usa http://pulseseismic.com/protonix-cheap-canada.pdf buy flagyl online http://upsizemag.com/tadora-online.pdf premarin cream australia information about cost of lasix surgery omeprazole zydus cadila buy generic methoxsalen online eriacta 100 kaufen http://www.phaseivengr.com/glipizide-brand.pdfbactrim ds mg enalapril 2.5 mg best price in new york clopidogrel 75 mg more info levothyroxine sodium more info about casodex 50 mg generico prednisolone uk generic drugs for protonix buy levitra online 24 hours buy pletoz 50mg buy sildenafil citrate usa generic periactin buy discounted nuvigil cabergoline cheap protonix generic price viread pill about toprol xl generic medicines fluconazole no rx otc betamethasone dipropionate tenvir em information norvasc prices http://www.phaseivengr.com/bupron-sr-sun-pharma.pdf olmesartan 40 mg http://www.phaseivengr.com/metoprolol-medicine.pdf fluconazole tablet 150 mg in california information about mefloquine for sale http://www.phaseivengr.com/buy-testosterone-gel-online.pdf baclofen sale http://www.phaseivengr.com/bactrim-medicine.pdf caverta india information gleevec 300 mg pharmatec sustanon 250 http://upsizemag.com/eriacta-buy.pdf evista cheap canada buy lamisil cream in mexico pelosta online fosamax price usa plavix buy http://artistlane.com/super-vidalista.pdf buy tenvir in united states generic drugs for premarin in new york info about letrozole 2.5mg tablet about buy cialis super active online geftinat 250 mg price benicar tab digoxin .25mg amlodipine generic cost revlimid japan arava enalapril over the counter more info about prozac 80 mg orlistat malaysia price lipitor pharmacy omeprazole teva 40mg fluconazole kopen buy levofloxacin 500 mg dapoxetine uk buy more info femara $10 walmart prevacid
tadaga 40mg in united states buy tadasoft 40mg in mayami Buy cenforce info about buy tadacip 20mg info about suhagra 100mg buy sildigra in canada buy caverta 100mg buy tadaga 40mg http://www.puptection.com/component/k2/item/166/ buy super p force 100mg in india buy sildisoft 50mg in united states information about tadasoft 20mg buy snovitra 20mg buy super p force in new york buy tadaga suhagra 100mg viraday 300mg buy snovitra http://www.puptection.com/blog/blood-in-dog-stool/ vidalista 20mg suhagra tadacip 20mg super p force 100mg vidalista 20mg more snovitra 20mg http://worldclaim.net/public-insurance-adjusters-testimonials/ buy tadasoft buy tadasoft 20mg vidalista buy sildisoft 100mg vilitra 20mg
nuvigil armodafinil drug risperdal toprol generic price testosterone undecanoate powder more info about otc amoxicillin equivalent valtrex australia in united states risperdal consta cost bimatoprost opthalmic drops online flonida for sale fluconazole generic equivalent baclofen generic buy malegra fxt http://build513.com/buy-seroquel-25-mg azithromycin without a prescription rivastigmine 1,5 mg cymbalta discount medicine levothyroxine https://www.envturfmgmt.com/buy-symmetrel-100-mg metoprolol succinate generic toprol waklert 150mg in mexico http://fhginterests.com/bactrim-ds-generic-manufacturer http://americanautodistributing.com/nexium-40-mg-equivalent ciprofloxacin 250mg tab arimidex cost in mayami norvasc generics manufacturer of bupropion information orlistat 120 mg cap avodart 0.5 mg femara price prescription http://wokingham-berks.com/buy-spironolactone-25-mg doxepin hcl aricept 10mg tab erythromycin 500 mg in usa buy valtrex for less mirtazapine cheap penegra 100mg xenical bupropion 300 xl dapoxetine philippines fosamax price usa information about isotretinoin online buy rizact 10 mg tablet in uk more info 5 mg zyprexa more info about azithromycin no script canadian bupropion sr er arava 10 mg premarin philippines in mexico bactrim in us more info about buy lithosun sr usa purchase azithromycin no prescription http://dumbbellbombshell.com/cernos-capsules-online zyprexa 50 mg glucotrol manufacturer buy viread 300 mg buy kamagra oral jelly online australia kamagra oral jelly india information purchase spironolactone no prescription pharmacy online bupropion medrol 4mg price buy ketoconazole cream online