A forever-loop in patsopt?

Got the following error when trying to build:

make: *** No rule to make target
inc/sortsmill/core/copy_with_strides_macros__.h', needed by check’. Stop.On Sat, Oct 24, 2015 at 6:20 PM, Barry Schwartz < chemoe...@chemoelectric.org> wrote:

I am experiencing what looks like it could be a forever-loop in
patsopt.

It’s in my Sorts Mill Core Library, in the
‘forever-loop-in-patsopt/report1’ branch:

Bitbucket

To build it (given the prerequisites) run something like ‘autogen.sh;
./configure --with-ats; make check V=1’ and see if patsopt gets stuck
during the make check. I’ve marked in tests/test_ivect_ats.dats
(‘forever loop in patsopt’) where the code that seems to result in a
hang-up is.

I’ve tried both ATS2-0.2.3 and the ATS2-0.2.4 Git sources from
SourceForge. (Haven’t tried ATS2-github.)


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/20151024222046.GA6205%40crud
.

I ran patsopt on test_ivect_ats.dats and was able to
finish (seemingly) successfully. It produced a file of C code
consisting 160K lines (including comments).

You must have made extensive (or excessive) use of templates :)On Saturday, October 24, 2015 at 9:41:55 PM UTC-4, Barry Schwartz wrote:

gmhwxi <gmh...@gmail.com <javascript:>> skribis:

Subject: Re: A forever-loop in patsopt?
From: gmhwxi <gmh...@gmail.com <javascript:>>
Reply-To: ats-l...@googlegroups.com <javascript:>
Date: Sat, 24 Oct 2015 18:23:37 -0700 (PDT)
To: ats-lang-users <ats-l...@googlegroups.com <javascript:>>

Also, could you use ‘patsopt --debug’ to compile the suspicious file
and report what you see on the stdout/stderr?

Okay, I’ll get to it sometime later and within the next few days, not
just now.

I can also make a dist-package of the thing if that is necessary to
get it working. It passes ‘make distcheck’, or at least I fix it to do
so whenever it doesn’t.

Sometimes ‘make clean’ then ‘make’ fixes problems. I do really
offensive and tricky GNU make stuff, with the goal of avoiding things
(such as autopoint and intltool) that I find to be even more
offensive. :slight_smile:

Also, could you use ‘patsopt --debug’ to compile the suspicious file
and report what you see on the stdout/stderr?On Saturday, October 24, 2015 at 9:14:46 PM UTC-4, gmhwxi wrote:

Got the following error when trying to build:

make: *** No rule to make target
inc/sortsmill/core/copy_with_strides_macros__.h', needed by check’. Stop.

On Sat, Oct 24, 2015 at 6:20 PM, Barry Schwartz <chem…> wrote:

I am experiencing what looks like it could be a forever-loop in
patsopt.

It’s in my Sorts Mill Core Library, in the
‘forever-loop-in-patsopt/report1’ branch:

Bitbucket

To build it (given the prerequisites) run something like ‘autogen.sh;
./configure --with-ats; make check V=1’ and see if patsopt gets stuck
during the make check. I’ve marked in tests/test_ivect_ats.dats
(‘forever loop in patsopt’) where the code that seems to result in a
hang-up is.

I’ve tried both ATS2-0.2.3 and the ATS2-0.2.4 Git sources from
SourceForge. (Haven’t tried ATS2-github.)


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/20151024222046.GA6205%40crud
.