Commit 1a989e19 authored by Diederik van Arkel's avatar Diederik van Arkel

Move tools to platform directory

parent 3c886916
......@@ -2,7 +2,7 @@ implementation module tools
import StdBool, StdFunc, StdFile, StdPStClass, StdSystem
import ExtNotice, StdPathname
import IdeState, UtilIO, PmPath, projwin
import IdeState, UtilIO
//-- call out to supporting applications...
......@@ -23,16 +23,7 @@ shoprofun ps
// should still take into account max filename length
# profpath = quoted_string (RemoveSuffix` execpath +++ timepsuf)
# (prefs,ps) = getPrefs ps
# pcl_path = prefs.reg_prefs.tp_path
# (app_path,ps) = accFiles GetFullApplicationPath ps
# app_path = GetLongPathName app_path
# pcl_path = fulAppPath app_path pcl_path
# pcl_path = case GetShortPathName pcl_path of
(True,pcl_path) -> pcl_path
_ -> pcl_path
# timepapp = quoted_string (pcl_path +++ prefs.reg_prefs.tp_name)
# timepapp = quoted_string (prefs.reg_prefs.tp_path +++ prefs.reg_prefs.tp_name)
# sp = timepapp +++ timeparg +++ profpath
# stup = RemoveFilename execpath
# (ok,ps) = accFiles (FExists stup) ps
......@@ -50,16 +41,7 @@ shoheapfun ps
// should still take into account max filename length
# profpath = quoted_string (RemoveSuffix` execpath +++ heappsuf)
# (prefs,ps) = getPrefs ps
# pcl_path = prefs.reg_prefs.hp_path
# (app_path,ps) = accFiles GetFullApplicationPath ps
# app_path = GetLongPathName app_path
# pcl_path = fulAppPath app_path pcl_path
# pcl_path = case GetShortPathName pcl_path of
(True,pcl_path) -> pcl_path
_ -> pcl_path
# heappapp = quoted_string (pcl_path +++ prefs.reg_prefs.hp_name)
# heappapp = quoted_string (prefs.reg_prefs.hp_path +++ prefs.reg_prefs.hp_name)
# sp = heappapp +++ heapparg +++ profpath
# stup = RemoveFilename execpath
# (ok,ps) = accFiles (FExists stup) ps
......@@ -71,21 +53,10 @@ shoheapfun ps
provefun :: !*(PSt General) -> *PSt General
provefun ps
# ps = pm_save ps // ensure project file is recent...
# (pathname,ps) = getPath ps
# pr_path = quoted_string (RemoveSuffix` pathname +++. proofsuf)
# (prefs,ps) = getPrefs ps
# pcl_path = prefs.reg_prefs.pr_path
# (app_path,ps) = accFiles GetFullApplicationPath ps
# app_path = GetLongPathName app_path
# pcl_path = fulAppPath app_path pcl_path
# pcl_path = case GetShortPathName pcl_path of
(True,pcl_path) -> pcl_path
_ -> pcl_path
# proofapp = quoted_string (pcl_path +++ prefs.reg_prefs.pr_name)
# proofapp = quoted_string (prefs.reg_prefs.pr_path +++ prefs.reg_prefs.pr_name)
# cps = proofapp +++ proofarg +++ pr_path
# stup = RemoveFilename pathname
# (ok,ps) = accFiles (FExists stup) ps
......
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment