[SOLVED] How to run this debian example?

Habitual · 05-21-2017, 05:01 PM

Debian8.7 hates this program/code.
Installed from repo. gcc failed error and/or PTHREAD_MUTEX_ error.
Installed from git/clone using ./configure && make && make install as root.
gcc failed error.

ats-lang-anairiats
repo version v0.2.1
SF version: -0.2.12.tgz (2.3 MB)
and the site homepage says The current stable release of ATS2 is at ATS2-0.3.5.
http://ats-lang.sourceforge.net/DOCU...stiats/INSTALL

Homepage said it was tested on Ubuntu.

Sorry, I couldn't be of more help.
http://termbin.com/b1bq are my notes.

pedros · 05-22-2017, 10:00 AM

A call for final comments. Thank you all for your help. Especially thank you Habitual for being on topic and giving a direct answer to the title question. A second topic has appeared here: how to safely and automatically install packages.

To Shadow_7, Senior Member.

I removed packages ats-lang-anairiats ats-lang-anairiats-examples. I ran this.

Code:

sudo apt-get -y install ats-lang-anairiats ats-lang-anairiats-examples

WARNING: The following packages cannot be authenticated!
ats-lang-anairiats ats-lang-anairiats-examples
E: There are problems and -y was used without --force-yes

Code:

sudo apt-get --force-yes install ats-lang-anairiats ats-lang-anairiats-examples

WARNING: The following packages cannot be authenticated!
ats-lang-anairiats ats-lang-anairiats-examples
Install these packages without verification? [y/N]

Code:

sudo apt-get -y --force-yes install ats-lang-anairiats ats-lang-anairiats-examples

This installs the packages, and displays a warning. Documentation says it is dangerous.

Code:

apt-get install --allow-unauthenticated -y ats-lang-anairiats ats-lang-anairiats-examples

This installs the packages. The linux community says it is not secure.

I have done some research on keyring, but I did not understand it, it seems to require internet. If it is easy to do, I would like instructions how to set it up on my system, without requiring internet. My current method works without it. I like my work to require minimal system setup, like no sudo. But if a diffrent style makes people happy, I will consider changing.

It might be nice for me to learn the ats language sometime, but for now I an simply trying to compile it. If I can not compile it, there is no sense of me learning the language. I am happy to consider example script writen in ADA or any other language, if it can be compiled using debian software.

To ondoho, LQ Addict.
My debian software repository comes from dvd, and I store it in /mnt. To upgrade, I get another dvd set. I only use one machine, and I like to keep my repository isolated from the internet. Sometimes I download a package and manually install it. But I never let the internet automatically adjust my system.

To Habitual, LQ Addict.
I would like this bash file http://pdscript.com/p/debian/example/bash/install.txt to run from start to end, without pausing for user input. This is what I am trying to automate.

I removed packages ats-lang-anairiats ats-lang-anairiats-examples. I ran this.

Code:

sudo apt-get -yqq install ats-lang-anairiats ats-lang-anairiats-examples

WARNING: The following packages cannot be authenticated!
ats-lang-anairiats ats-lang-anairiats-examples
E: There are problems and -y was used without --force-yes

While installing the package pbuilder, This message displayed.

Quote:

Mirror information detection failed and the user provided no mirror information. Please enter valid mirror information.

Maybe my mirror is /mnt?

To do.
Users pedros and Habitual have both attempted to compile file AUP_5_17_3.dats. The file does not work, and so I think it should be removed from the debian repository. Will someone volunteer to submit a bug report on this file? Also there are many other bad files that I have identified. But do not remove the whole package, just the bad parts.

There is a rumor that the file works with ubuntu. If someone would like to pursue this, you can discuss this in ubuntu forum. But I have no intrest.

I was chided for "--allow-unauthenticated -y". But I have not been given a better method. So I might add an alternate install file that requires user to respond to many prompts.

I read DontBreakDebian. Thank you, it said to ask smart questions.

I am waiting for final comments. Then I plan to tag this as solved.

Habitual · 05-22-2017, 11:20 AM

Always glad to help out.
Now about those repeated
"WARNING: The following packages cannot be authenticated!" message(s) every time you run apt-get.
That happen every time you run apt-get?

That ain't "normal".

have you modified system files at or under /etc/apt/apt.conf.d/ ?

norobro · 05-22-2017, 11:40 AM

Quote:

Originally Posted by pedros

This is some example code in debian 8.5 software repository. How to run it?

Code:

atscc /usr/share/doc/ats-lang-anairiats-examples/examples/AUP/AUP_5_17_3.dats

I took a look at the C file generated by atscc and "pthread.h" is not included unless _ATS_MULTITHREAD is defined (see /usr/lib/ats-anairiats-0.2.11/libc/CATS/pthread.cats) so I added "-D_ATS_MULTITHREAD" to the command line. Also had to add -pthread.

Steps:

Code:

# aptitude install ats-lang-anairiats ats-lang-anairiats-examples

$ atscc -D_ATS_MULTITHREAD /usr/share/doc/ats-lang-anairiats-examples/examples/AUP/AUP_5_17_3.dats -pthread

Output:

Code:

$ ./a.out 
Thread 1 says 1
Thread 2 says 2
Thread 1 says 3
Thread 2 says 4
Thread 1 says 5
Thread 2 says 6
Thread 1 says 7
Thread 1 says 8
Thread 1 says 9
Thread 1 says 10
Thread 2's exit status is 7

Took a cursory look at the project website and didn't see any mention of having to do the above. Is it poor documentation or did I miss something?

HTH

EDIT: FYI, tried compiling on Ubuntu and got the same error.

Code:

$ lsb_release -dc
Description:	Ubuntu 17.04
Codename:	zesty

$ atscc /usr/share/doc/ats-lang-anairiats-examples/examples/AUP/AUP_5_17_3.dats
...
AUP_5_17_3_dats.c:58:30: error: ‘PTHREAD_MUTEX_INITIALIZER’ undeclared here (not in a function)
 static pthread_mutex_t mtx = PTHREAD_MUTEX_INITIALIZER ;
                              ^~~~~~~~~~~~~~~~~~~~~~~~~
...

ondoho · 05-22-2017, 02:44 PM

Quote:

Originally Posted by pedros

To ondoho, LQ Addict.
My debian software repository comes from dvd, and I store it in /mnt. To upgrade, I get another dvd set.

i don't think it works like that.
to actually upgrade you'd have to burn a new dvd with the updated software

Quote:

I only use one machine, and I like to keep my repository isolated from the internet. Sometimes I download a package and manually install it. But I never let the internet automatically adjust my system.

um, what? you are not trusting "the internet", you are trusting the debian repositories.
the same ones you got your debian install dvds from in the first place.

pedros · 05-22-2017, 06:41 PM

to Habitual, LQ Addict. I install system from dvd. I accept most default settings. I store repository in /mnt. I avoid changing most system settings. I do not allow internet to adjust my system. I do not setup sudo. I do not know how to setup keyring. That ain't "normal". See my new topic, How to authenticate packages offline?

to ondoho. Yes. Everything I said is correct.

I think a bug report should be submited for the ats documentation.

Thank you norobro for giving a working solution. Here is my version. It works.

Code:

echo "bash ats.txt";

F2_atscc() { 
mkdir -p ${OUT2}${PATH2}; 
atscc -D_ATS_MULTITHREAD ${PATH2}${FILE2}.dats -pthread -o ${OUT2}${PATH2}${FILE2}.exe;
cp ${FILE2}_dats.c ${OUT2}${PATH2}; rm ${FILE2}_dats.c;
cp ${PATH2}${FILE2}.dats ${OUT2}${PATH2}; }

F4_atscc() { ${OUT2}${PATH2}${FILE2}.exe > ${OUT2}${PATH2}${FILE2}.txt; }

OUT2="Computer";
PATH2="/usr/share/doc/ats-lang-anairiats-examples/examples/AUP/";
FILE2="AUP_5_17_3"; F2_atscc; F4_atscc;
echo; echo "atscc end.";

I will be buisy trying to apply this solution to the other files.

Shadow_7 · 05-22-2017, 11:48 PM

Setting up keyring:

# apt-get install debian-keyring

It's part of the package management system, although not sure why it's not installed by default. Aside from the girth of that package relative to minimal installs. But there's other debian oddities, like pavucontrol being a separate package and not a dep of pulseaudio. As far as sudo, it's already setup, just install it and add the user to the sudo group. Yeah, it's a lot of voodoo blackmagic, insert virgin sacrifices and volcano gods when it doesn't work someday, but it's not as hard as you're making it out to be.

ondoho · 05-23-2017, 10:02 AM

Quote:

Originally Posted by pedros

I think a bug report should be submited for the ats documentation.

if you think so, you should do it.