equal
deleted
inserted
replaced
264 File.platform_path wholefile]) |
264 File.platform_path wholefile]) |
265 |
265 |
266 val dfg_dir = File.tmp_path (Path.basic "dfg"); |
266 val dfg_dir = File.tmp_path (Path.basic "dfg"); |
267 val dfg_path = File.platform_path dfg_dir; |
267 val dfg_path = File.platform_path dfg_dir; |
268 |
268 |
269 val tptp2X = ResLib.helper_path "TPTP2X_HOME" "tptp2X" |
|
270 |
|
271 |
|
272 (*** want to cat clasimp ax hyps prob, then send the resulting file to tptp2x ***) |
269 (*** want to cat clasimp ax hyps prob, then send the resulting file to tptp2x ***) |
273 val probID = List.last(explode probfile) |
270 val probID = List.last(explode probfile) |
274 val wholefile = File.tmp_path (Path.basic ("ax_prob_"^probID)) |
271 val wholefile = File.tmp_path (Path.basic ("ax_prob_"^probID)) |
275 |
272 |
276 (*** only include problem and clasimp for the moment, not sure how to refer to ***) |
273 (*** only include problem and clasimp for the moment, not sure how to refer to ***) |
284 else File.mkdir dfg_dir |
281 else File.mkdir dfg_dir |
285 else |
282 else |
286 warning("not converting to dfg") |
283 warning("not converting to dfg") |
287 |
284 |
288 val _ = if !SpassComm.spass then |
285 val _ = if !SpassComm.spass then |
289 system (tptp2X ^ " -fdfg -d "^dfg_path^" "^ |
286 system (ResLib.helper_path "TPTP2X_HOME" "tptp2X" ^ |
|
287 " -fdfg -d " ^ dfg_path ^ " " ^ |
290 File.platform_path wholefile) |
288 File.platform_path wholefile) |
291 else 7 |
289 else 7 |
292 val newfile = if !SpassComm.spass |
290 val newfile = if !SpassComm.spass |
293 then |
291 then |
294 dfg_path^"/ax_prob"^"_"^(probID)^".dfg" |
292 dfg_path^"/ax_prob"^"_"^(probID)^".dfg" |