Changeset 664 for Deliverables/D2.2/8051
- Timestamp:
- Mar 10, 2011, 11:48:33 AM (10 years ago)
- Location:
- Deliverables/D2.2/8051
- Files:
-
- 2 edited
Legend:
- Unmodified
- Added
- Removed
-
Deliverables/D2.2/8051/myocamlbuild_config.ml
r630 r664 1 let parser_lib = "/home/ ayache/Downloads/Bol/Deliverables/D2.2/8051/lib"1 let parser_lib = "/home/dpm/Projects/Cerco/Deliverables/D2.2/8051/lib" -
Deliverables/D2.2/8051/src/ASM/IntelHex.ml
r619 r664 241 241 ;; 242 242 243 let rec zeros len = 244 if len = 0 then 245 [] 246 else 247 vect_of_int 0 `Eight :: zeros (len - 1) 248 249 let post_process_exported_code_memory intel_hex = 250 let reversed = List.rev intel_hex in 251 let rec aux hex = 252 match hex with 253 [] -> [] 254 | he::tl -> 255 if he.record_type = End then 256 aux tl 257 else if he.record_type = Data then 258 if he.data_field = zeros (int_of_vect he.record_length) then 259 aux tl 260 else 261 he::(aux tl) 262 else 263 tl 264 in 265 List.rev (aux reversed) 266 243 267 let pack_exported_code_memory chunk_size max_addressable code_mem = 244 268 let export = export_code_memory chunk_size max_addressable code_mem in 245 269 let cleaned = clean_exported_code_memory export in 246 270 let processed = process_exported_code_memory cleaned in 271 let postprocessed = post_process_exported_code_memory processed in 247 272 let end_buffer = 248 273 [{ record_length = zero `Eight; … … 252 277 data_checksum = vect_of_int 255 `Eight 253 278 }] in 254 p rocessed @ end_buffer279 postprocessed @ end_buffer 255 280 ;; 256 281
Note: See TracChangeset
for help on using the changeset viewer.