Temptory-include

[githwxi]

Could you also package the needed .h and .c files for compiling C code generated by tempopt?

This package is needed for someone to release such C code (instead of its ATS source). For instance, I would like to implement mytempacc in this way so as to streamline the compilation process of ATS code.

[sparverius]

Similar to how it is currently done with ATS2?

[githwxi]

Yes. That would be the first step.

We should think about putting all of these files in an npm package.

[sparverius]

Works for me. I should have this done later this evening

[sparverius]

Does this directory structure appear correct to you? Are there other resources needed other than all .c, .h, and .cats files?

ATS-Temptory-include-0.0.0-test/
ATS-Temptory-include-0.0.0-test/ccomp/
ATS-Temptory-include-0.0.0-test/ccomp/runtime/
ATS-Temptory-include-0.0.0-test/ccomp/runtime/temptory_runtime_trywith.c
ATS-Temptory-include-0.0.0-test/ccomp/runtime/temptory_memalloc_gcbdw.h
ATS-Temptory-include-0.0.0-test/ccomp/runtime/temptory_typedefs.h
ATS-Temptory-include-0.0.0-test/ccomp/runtime/temptory_instrset.h
ATS-Temptory-include-0.0.0-test/ccomp/runtime/temptory_runtime.c
ATS-Temptory-include-0.0.0-test/ccomp/runtime/temptory_basics.h
ATS-Temptory-include-0.0.0-test/ccomp/runtime/temptory_runtime2_dats.c
ATS-Temptory-include-0.0.0-test/ccomp/runtime/temptory_memalloca.h
ATS-Temptory-include-0.0.0-test/ccomp/runtime/temptory_runtime_memory.c
ATS-Temptory-include-0.0.0-test/ccomp/runtime/temptory_memalloc_libc.h
ATS-Temptory-include-0.0.0-test/ccomp/runtime/temptory_memalloc.h
ATS-Temptory-include-0.0.0-test/ccomp/runtime/temptory_config.h
ATS-Temptory-include-0.0.0-test/ccomp/runtime/temptory_memalloc_user2.h
ATS-Temptory-include-0.0.0-test/ccomp/runtime/temptory_memalloc_user.h
ATS-Temptory-include-0.0.0-test/ccomp/runtime/temptory_exception.h
ATS-Temptory-include-0.0.0-test/libats/
ATS-Temptory-include-0.0.0-test/libats/libc/
ATS-Temptory-include-0.0.0-test/libats/libc/CATS/
ATS-Temptory-include-0.0.0-test/libats/libc/CATS/dirent.cats
ATS-Temptory-include-0.0.0-test/libats/libc/CATS/search.cats
ATS-Temptory-include-0.0.0-test/libats/CATS/
ATS-Temptory-include-0.0.0-test/libats/CATS/basics_float.cats
ATS-Temptory-include-0.0.0-test/libats/CATS/basics_gint.cats
ATS-Temptory-include-0.0.0-test/libats/CATS/basics.cats
ATS-Temptory-include-0.0.0-test/libats/CATS/gint_fixed.cats
ATS-Temptory-include-0.0.0-test/libats/CATS/basics_char.cats
ATS-Temptory-include-0.0.0-test/libats/CATS/basics_bool.cats
ATS-Temptory-include-0.0.0-test/libats/CATS/basics_gptr.cats
ATS-Temptory-include-0.0.0-test/libats/CATS/basics_unsafe.cats
ATS-Temptory-include-0.0.0-test/libats/CATS/basics_string.cats
ATS-Temptory-include-0.0.0-test/libats/CATS/basics_stropt.cats
ATS-Temptory-include-0.0.0-test/libats/temp/
ATS-Temptory-include-0.0.0-test/libats/temp/CATS/
ATS-Temptory-include-0.0.0-test/libats/temp/CATS/hashfun.cats

[githwxi]

Looks correct. Once you have a package for these files, I will test it.

[sparverius]

Question:

With respect to Temptory, how should the dats files for tempacc be compiled? Any special flags?

...
Looking at ATS2-Postiats-Include I see that it contains compiled dats files for building patscc however, it is not clear to me how these c files were originally compiled.

On a side note: These files were compiled in 2017 and seem to have been included in each package since then. (See ATS2-Postiats-include-0.3.13.tgz for example)

[githwxi]

I think these files were generated by patsopt. Here is the rational: Say someone download ATS-Postiats-include; the person may what to build patscc for compiling C code generated from patsopt. For Temptory, we need to include the C code generated for tempacc if we want to do the same thing. For this very special use of tempacc, we could just provide a simple script (written in bash, python, or else).

…

--Hongwei

On Tue, May 28, 2019 at 11:47 AM Richard K ***@***.***> wrote: Question: With respect to Temptory, how should the dats files for tempacc be compiled? Any special flags? ... Looking at ATS2-Postiats-Include I see that it contains compiled dats files <https://github.com/githwxi/ATS-Postiats/tree/master/doc/DISTRIB/ATS-Postiats-include/utils/atscc/DATS_C> for building patscc however, it is not clear to me how these c files were originally compiled. On a side note: These files were compiled in 2017 <https://github.com/githwxi/ATS-Postiats/blob/2eeec87118f7e14d60c466561dbf6c4cdabf685b/doc/DISTRIB/ATS-Postiats-include/utils/atscc/DATS_C/atscc_main_dats.c#L4> and seem to have been included in each package since then. (See ATS2-Postiats-include-0.3.13.tgz <https://sourceforge.net/projects/ats2-lang/files/ats2-lang/ats2-postiats-0.3.13/> for example) — You are receiving this because you authored the thread. Reply to this email directly, view it on GitHub <#3?email_source=notifications&email_token=AAEXZVZ33NHJUZUJCS265BTPXVHYNA5CNFSM4HP546K2YY3PNVWWK3TUL52HS4DFVREXG43VMVBW63LNMVXHJKTDN5WW2ZLOORPWSZGODWMSAYA#issuecomment-496574560>, or mute the thread <https://github.com/notifications/unsubscribe-auth/AAEXZV6HDCHH3GUYIBGBAV3PXVHYNANCNFSM4HP546KQ> .

[sparverius]

Have you tested the Include package yet?

[githwxi]

No. Have yet to do it. Maybe such testing code should be put into Temptory-Release.
Actually, we should probably have a testing component in Temptory-Release for testing of all sorts.