trouble compiling with ParaSail

[John Perry]

Hello

I thought I'd try ParaSail out. I cloned the GitHub repository and successfully built using make, but I'm stuck on compiling. For example, suppose I want to compile the for_loop.psl example. Based on what I've read previously, I need to do this:

   pslc.csh ../../../../lib/aaa.psi for_loop.psl

This gives me many errors along the following lines:

    ../../../../lib/aaa.psi:7:11: Error: Duplicate module definition:
    ../../../../lib/aaa.psi:7:11: Info:   interface PSL<> is ...
    ../../../../lib/aaa.psi:182:18: Error: Duplicate module definition:
    ../../../../lib/aaa.psi:182:18: Info:   class PSL::Core::Boolean is ...
    ../../../../lib/aaa.psi:182:18: Error: Cannot find interface for module:
    ../../../../lib/aaa.psi:248:1: Error: Hiding of Test_Boolean at line 248 not permitted:
    ../../../../lib/aaa.psi:248:1: Info:   func PSL::Test::Test_Boolean
     (UX : Univ_Enumeration;  
      UY : Univ_Enumeration) is ...

    ../../../../lib/aaa.psi:623:18: Error: Duplicate module definition:
    ../../../../lib/aaa.psi:623:18: Info:   class PSL::Core::Ordering is ...
    ../../../../lib/aaa.psi:623:18: Error: Cannot find interface for module:
    ../../../../lib/aaa.psi:1029:18: Error: Duplicate module definition:
    ../../../../lib/aaa.psi:1029:18: Info:   class PSL::Core::Countable_Range is ...
    ../../../../lib/aaa.psi:1029:18: Error: Cannot find interface for module:
    ../../../../lib/aaa.psi:1179:1: Error: Hiding of Test_Countable_Range at line 1179 not permitted:
    ../../../../lib/aaa.psi:1179:1: Info:   func PSL::Test::Test_Countable_Range
     (A : Integer;  
      X : Integer;  
      Y : Integer) is ...

Any chance anyone knows what I'm doing wrong?

[Tucker Taft]

Don't mention "aaa.psi" on the command line and it should work better.  The scripts such as pslc.csh and interp.csh generally include aaa.psi automatically.  It is only if you run the "parasail_main" executable directly that you need to give it "aaa.psi" explicitly.

-Tuck

--
You received this message because you are subscribed to the Google Groups "ParaSail Programming Language" group.
To unsubscribe from this group and stop receiving emails from it, send an email to parasail-programming...@googlegroups.com.
To view this discussion visit https://groups.google.com/d/msgid/parasail-programming-language/ae65c199-0a9d-48f4-ad01-28b4ca12acd1n%40googlegroups.com.

[John Perry]

If I understand your guidance correctly, I should do this:

   pslc.csh for_loop.psl

In this case I get a linking error:

   /home/cantanima/.local/share/alire/toolchains/gnat_native_13.2.2_a27fd794/bin/../lib/gcc/x86_64-pc-linux-gnu/13.2.0/../../../../x86_64-pc
-linux-gnu/bin/ld: cannot find /home/cantanima/parasail/lib/aaa.psi.o: No such file or directory
collect2: error: ld returned 1 exit status
gprbuild: link of call_compiled_main.adb failed

Do I need to compile this somehow?

I've omitted gprbuild's failed command, but I can include it if need be.

[John Perry]

I tried that, but it gave me the following error:

   /home/cantanima/.local/share/alire/toolchains/gnat_native_13.2.2_a27fd794/bin/../lib/gcc/x86_64-pc-linux-gnu/13.2.0/../../../../x86_64-pc
-linux-gnu/bin/ld: cannot find /home/cantanima/parasail/lib/aaa.psi.o: No such file or directory
collect2: error: ld returned 1 exit status
gprbuild: link of call_compiled_main.adb failed

(omitting the last line, which has the command)

Do I need to compile aaa somehow?

On Monday, May 12, 2025 at 12:56:10 PM UTC-5 Tuck wrote:

[Tuck]

You need to compile the compiler and the ParaSail runtime first.  Run "pslc.csh" with no arguments and it will give you some basic help.  There is more documentation in parasail/documentation/parasail_release_notes.txt