Re: [fricas-devel] SKIP in src/input/Makefile.in

2024-04-21 Thread Ralf Hemmecke
Honestly, I would be happy, if input/ contained just testfiles and this directory would be called tests/. THis should be OK for type (A) files. Type-(B) files should gradually be transformed to type-(A) files. It is not clear what you mean by "gradually transformed". Rewriting those files f

Re: [fricas-devel] SKIP in src/input/Makefile.in

2024-04-21 Thread Waldek Hebisch
On Sun, Apr 21, 2024 at 04:31:01PM +0200, Ralf Hemmecke wrote: > > Tim Daly probably can say more about original intent. For me it is > > documentation: it is list of files that we have but do not use. > > Logically, removal of SKIP should involve removal of files listed there. > > I have not yet

Re: [fricas-devel] SKIP in src/input/Makefile.in

2024-04-21 Thread Tim Daly
Another intended use for these files is the Computer Algebra Test Suite (CATS) http://axiom-developer.org/axiom-website/CATS/index.html CATS used both published results (e.g. Schaums, Kamke, Rich, etc.) and Axiom's complete test suite to create a standardized algebra test library, one of the o

Re: [fricas-devel] SKIP in src/input/Makefile.in

2024-04-21 Thread Tim Daly
Axiom does regression testing during every build. src/input/*.input.pamphlet files are really just ".tex" files (replace ".pamphlet" with ".tex" and they can create pdfs) as they are intended to be user-visible documentation included in the Literate Programming books. Since these are part of the

Re: [fricas-devel] SKIP in src/input/Makefile.in

2024-04-21 Thread Ralf Hemmecke
Tim Daly probably can say more about original intent. For me it is documentation: it is list of files that we have but do not use. Logically, removal of SKIP should involve removal of files listed there. I have not yet completely compared everything, but the content of this directory is curre

Re: [fricas-devel] SKIP in src/input/Makefile.in

2024-04-21 Thread Grégory Vanuxem
Hello here, I asked some years ago to also install .input files during the 'make install’ step, say, as of today I would say in somewhere like share/examples or share/doc/examples but I received a categorical refusal which meant that I did not really explain the reason for this request. In fact, I

Re: [fricas-devel] SKIP in src/input/Makefile.in

2024-04-21 Thread Waldek Hebisch
On Sun, Apr 21, 2024 at 10:05:31AM +0200, Ralf Hemmecke wrote: > I guess the SKIP variable was at some point useful for something. > I can, however, not find where it is actually used now. > Can we remove it? Tim Daly probably can say more about original intent. For me it is documentation: it is

[fricas-devel] SKIP in src/input/Makefile.in

2024-04-21 Thread Ralf Hemmecke
I guess the SKIP variable was at some point useful for something. I can, however, not find where it is actually used now. Can we remove it? Ralf -- You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra system" group. To unsubscribe from this group