For ATS-Postiats, if I invoke patsopt in a directory different from the one
which contains the files,
staload “sys_model.sats” will not lead to the location of the .sats file
even if it’s along side with the .dats file. I have to write the following
in the .dats file.
staload “./sys_model.sats”
What’s the main principle of locating files inside patsopt? Thanks.
in the file ‘bar.dats’. Then the “.” means the directory in which
‘bar.dats’ is stored.
If you use
staload “foo.sats”
then patsopt searches for ‘foo.sats’ using include-path (-IATS).
In your case, my guess is that the directory containing ‘sys-model.sats’
was not on the include-path for patsopt.On Thursday, December 19, 2013 1:23:53 PM UTC-5, Zhiqiang Ren wrote:
For ATS-Postiats, if I invoke patsopt in a directory different from the
one which contains the files,
staload “sys_model.sats” will not lead to the location of the .sats file
even if it’s along side with the .dats file. I have to write the following
in the .dats file.
staload “./sys_model.sats”
What’s the main principle of locating files inside patsopt? Thanks.
Can I assume that whenever there is “./xxx/xxx”, the file is located from
the position of the current file containing the staload and the path
specified by -IATS is not used at all?
On Thursday, December 19, 2013 1:39:55 PM UTC-5, gmhwxi wrote:
Say you have
staload "./foo.sats"Yes
in the file ‘bar.dats’. Then the “.” means the directory in which
‘bar.dats’ is stored.
If you use
staload “foo.sats”
then patsopt searches for ‘foo.sats’ using include-path (-IATS).
In your case, my guess is that the directory containing ‘sys-model.sats’
was not on the include-path for patsopt.
On Thursday, December 19, 2013 1:23:53 PM UTC-5, Zhiqiang Ren wrote:
For ATS-Postiats, if I invoke patsopt in a directory different from the
one which contains the files,
staload “sys_model.sats” will not lead to the location of the .sats file
even if it’s along side with the .dats file. I have to write the following
in the .dats file.
staload “./sys_model.sats”
What’s the main principle of locating files inside patsopt? Thanks.
Can I assume that whenever there is “./xxx/xxx”, the file is located from
the position of the current file containing the staload and the path
specified by -IATS is not used at all?On Thursday, December 19, 2013 1:39:55 PM UTC-5, gmhwxi wrote:
Say you have
staload “./foo.sats”
in the file ‘bar.dats’. Then the “.” means the directory in which
‘bar.dats’ is stored.
If you use
staload “foo.sats”
then patsopt searches for ‘foo.sats’ using include-path (-IATS).
In your case, my guess is that the directory containing ‘sys-model.sats’
was not on the include-path for patsopt.
On Thursday, December 19, 2013 1:23:53 PM UTC-5, Zhiqiang Ren wrote:
For ATS-Postiats, if I invoke patsopt in a directory different from the
one which contains the files,
staload “sys_model.sats” will not lead to the location of the .sats file
even if it’s along side with the .dats file. I have to write the following
in the .dats file.
staload “./sys_model.sats”
What’s the main principle of locating files inside patsopt? Thanks.