source: Deliverables/D2.3/8051-memoryspaces-branch/myocamlbuild_config.ml @ 489

Last change on this file since 489 was 489, checked in by campbell, 9 years ago

Pointer fixes for the temporary version of the compiler that can output matita
terms.

File size: 101 bytes
Line 
1let parser_lib = "/home/bcampbe2/afs/cerco/cerco-git/Deliverables/D2.3/8051-memoryspaces-branch/lib"
Note: See TracBrowser for help on using the repository browser.