Determining dependencies of an ATS file?

Google Group
1

Hi all,

I’m working on a nix library for building ATS projects, and I was wondering if
there’s a good way to determine what other files a given file depends on (i.e.
via staload, dynload, #inlcude). Currently I’m just grepping for those keywords
and doing some sed magic, but it would be nice if I could get that info from the
compiler somehow.

Thanks,
Shea

2

Ah ha, adding -IATSinclude did it. Thanks!> On Apr 26, 2015, at 12:46 PM, gmhwxi gmh...@gmail.com wrote:

Try:

cd include/elvysh
patsopt --depgen -s filedes.sats

Only dependency on local files will be generated.
Library files will be skpped.

On Sunday, April 26, 2015 at 11:40:14 AM UTC-4, Shea Levy wrote:
Thanks!

This doesn’t seem to work for sats files:

$ patsopt --depgen -s include/elvysh/filedes.sats
include/elvysh/filedes_sats.o :

$ grep staload include/elvysh/filedes.sats
staload “elvysh/errno.sats”
staload “elvysh/partially-initialized-array.sats”

Thanks,
Shea

On Apr 26, 2015, at 10:15 AM, gmhwxi gmh...@gmail.com wrote:

You can get the dependency information by using the -dep or --depgen
flag. For instance,

patsopt --depgen -d foo.dats

The detailed usage of ‘patsopt’ is described in the following file:

http://ats-lang.sourceforge.net/RESOURCE/utils/atsoptman.html

On Sunday, April 26, 2015 at 7:59:12 AM UTC-4, Shea Levy wrote:
Hi all,

I’m working on a nix library for building ATS projects, and I was wondering if
there’s a good way to determine what other files a given file depends on (i.e.
via staload, dynload, #inlcude). Currently I’m just grepping for those keywords
and doing some sed magic, but it would be nice if I could get that info from the
compiler somehow.

Thanks,
Shea

–
You received this message because you are subscribed to the Google Groups “ats-lang-users” group.
To unsubscribe from this group and stop receiving emails from it, send an email to ats-lang...@googlegroups.com.
To post to this group, send email to ats-l...@googlegroups.com.
Visit this group at http://groups.google.com/group/ats-lang-users.
To view this discussion on the web visit https://groups.google.com/d/msgid/ats-lang-users/6c2104d0-a883-43fb-b3e9-c181a292bbb3%40googlegroups.com.

–
You received this message because you are subscribed to the Google Groups “ats-lang-users” group.
To unsubscribe from this group and stop receiving emails from it, send an email to ats-lang-user...@googlegroups.com.
To post to this group, send email to ats-lan...@googlegroups.com.
Visit this group at http://groups.google.com/group/ats-lang-users.
To view this discussion on the web visit https://groups.google.com/d/msgid/ats-lang-users/310c427f-1292-4194-a052-d5104329edc5%40googlegroups.com.

3

Thanks!

This doesn’t seem to work for sats files:

$ patsopt --depgen -s include/elvysh/filedes.sats
include/elvysh/filedes_sats.o :

$ grep staload include/elvysh/filedes.sats
staload “elvysh/errno.sats”
staload “elvysh/partially-initialized-array.sats”

Thanks,
Shea> On Apr 26, 2015, at 10:15 AM, gmhwxi gmh...@gmail.com wrote:

You can get the dependency information by using the -dep or --depgen
flag. For instance,

patsopt --depgen -d foo.dats

The detailed usage of ‘patsopt’ is described in the following file:

http://ats-lang.sourceforge.net/RESOURCE/utils/atsoptman.html

On Sunday, April 26, 2015 at 7:59:12 AM UTC-4, Shea Levy wrote:
Hi all,

I’m working on a nix library for building ATS projects, and I was wondering if
there’s a good way to determine what other files a given file depends on (i.e.
via staload, dynload, #inlcude). Currently I’m just grepping for those keywords
and doing some sed magic, but it would be nice if I could get that info from the
compiler somehow.

Thanks,
Shea

–
You received this message because you are subscribed to the Google Groups “ats-lang-users” group.
To unsubscribe from this group and stop receiving emails from it, send an email to ats-lang-user...@googlegroups.com.
To post to this group, send email to ats-lan...@googlegroups.com.
Visit this group at http://groups.google.com/group/ats-lang-users.
To view this discussion on the web visit https://groups.google.com/d/msgid/ats-lang-users/6c2104d0-a883-43fb-b3e9-c181a292bbb3%40googlegroups.com.

4

You can get the dependency information by using the -dep or --depgen
flag. For instance,

patsopt --depgen -d foo.dats

The detailed usage of ‘patsopt’ is described in the following file:

http://ats-lang.sourceforge.net/RESOURCE/utils/atsoptman.htmlOn Sunday, April 26, 2015 at 7:59:12 AM UTC-4, Shea Levy wrote:

Hi all,

I’m working on a nix library for building ATS projects, and I was
wondering if
there’s a good way to determine what other files a given file depends on
(i.e.
via staload, dynload, #inlcude). Currently I’m just grepping for those
keywords
and doing some sed magic, but it would be nice if I could get that info
from the
compiler somehow.

Thanks,
Shea

5

Try:

cd include/elvysh
patsopt --depgen -s filedes.sats

Only dependency on local files will be generated.
Library files will be skpped.On Sunday, April 26, 2015 at 11:40:14 AM UTC-4, Shea Levy wrote:

Thanks!

This doesn’t seem to work for sats files:

$ patsopt --depgen -s include/elvysh/filedes.sats
include/elvysh/filedes_sats.o :

$ grep staload include/elvysh/filedes.sats
staload “elvysh/errno.sats”
staload “elvysh/partially-initialized-array.sats”

Thanks,
Shea

On Apr 26, 2015, at 10:15 AM, gmhwxi <gmh...@gmail.com <javascript:>> wrote:

You can get the dependency information by using the -dep or --depgen
flag. For instance,

patsopt --depgen -d foo.dats

The detailed usage of ‘patsopt’ is described in the following file:

http://ats-lang.sourceforge.net/RESOURCE/utils/atsoptman.html

On Sunday, April 26, 2015 at 7:59:12 AM UTC-4, Shea Levy wrote:
Hi all,

I’m working on a nix library for building ATS projects, and I was
wondering if
there’s a good way to determine what other files a given file depends on
(i.e.
via staload, dynload, #inlcude). Currently I’m just grepping for those
keywords
and doing some sed magic, but it would be nice if I could get that info
from the
compiler somehow.

Thanks,
Shea

–
You received this message because you are subscribed to the Google
Groups “ats-lang-users” group.
To unsubscribe from this group and stop receiving emails from it, send
an email to ats-lang...@googlegroups.com <javascript:>.
To post to this group, send email to ats-l...@googlegroups.com
<javascript:>.
Visit this group at http://groups.google.com/group/ats-lang-users.
To view this discussion on the web visit
https://groups.google.com/d/msgid/ats-lang-users/6c2104d0-a883-43fb-b3e9-c181a292bbb3%40googlegroups.com.