source: Deliverables/D2.2/8051-memoryspaces-branch/myocamlbuild_config.ml @ 769

Last change on this file since 769 was 489, checked in by campbell, 10 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.