Generating release tarball?

41 views
Skip to first unread message

Shea Levy

unread,
Apr 16, 2015, 5:09:09 AM4/16/15
to ats-lan...@googlegroups.com
Hi all,

How is the release tarball (that doesn’t require ATS 1 and just needs ./configure; make; make install) generated from the git sources? I’m poking around Makefile_devl now to try to build it in-tree but I’d like to know how to make a fake local release to test any changes I might want to make fully.

Thanks,
Shea

gmhwxi

unread,
Apr 16, 2015, 10:57:06 AM4/16/15
to ats-lan...@googlegroups.com
Here are the commands you need:

cd ${PATSHOME}; make CBOOT
cd ${PATSHOME}/doc/DISTRIB; make atspackaging; make atspacktarzvcf

Shea Levy

unread,
Apr 16, 2015, 3:13:53 PM4/16/15
to ats-lan...@googlegroups.com
Thanks!

--
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/548a557a-3547-42a5-95cf-f0b99a992765%40googlegroups.com.

Shea Levy

unread,
Apr 18, 2015, 9:25:20 AM4/18/15
to ats-lan...@googlegroups.com
Hi all,

In a fresh checkout (on top of my recent pull request [1]), I ran:

make -C src/ -f Makefile CBOOT
make -C doc/DISTRIB atspackaging
make -C doc/DISTRIB atspacktarzvcf

And then tried to build the resulting tarball the normal way. It failed with:

make[1]: *** No rule to make target 'prelude_basics_sta_sats.o', needed by 'prelude_libats.o'. Stop.

How am I meant to properly generate the needed files/rules?

Thanks,
Shea

[1]: https://github.com/githwxi/ATS-Postiats/pull/134

> On Apr 16, 2015, at 10:57 AM, gmhwxi <gmh...@gmail.com> wrote:
>

gmhwxi

unread,
Apr 18, 2015, 10:31:01 AM4/18/15
to ats-lan...@googlegroups.com
I think you also need:

make -C src/CBOOT/prelude
make -C src/CBOOT/libc
make -C src/CBOOT/libats

Shea Levy

unread,
Apr 18, 2015, 10:37:47 AM4/18/15
to ats-lan...@googlegroups.com
Yes, I just discovered that. Now I get a lot of errors like this building the resulting tarball:

pats_main_dats.o: In function `_2nix_2tmp_2nix_2dbuild_2dATS2_2dPostiats_2etgz_2edrv_2d10_2ATS_2dPostiats_2src_2pats_main_2edats__staload':
pats_main_dats.c:(.text+0x14af): undefined reference to `ATS_2d0_2e2_2e12_2libc_2SATS_2stdio_2esats__staload’

There appear to be missing references to libc and libats functions, even though those are compiled.
> To view this discussion on the web visit https://groups.google.com/d/msgid/ats-lang-users/30bf001b-072d-48c8-ad6a-36b451fbec83%40googlegroups.com.

Hongwei Xi

unread,
Apr 18, 2015, 10:42:57 AM4/18/15
to ats-lan...@googlegroups.com
Did you set ATSHOMERELOC to 'ATS-0.2.12' ?

Shea Levy

unread,
Apr 18, 2015, 10:54:34 AM4/18/15
to ats-lan...@googlegroups.com
Ah ha, that did it! Thank you.

Reply all
Reply to author
Forward
0 new messages