LinuxQuestions.org
Share your knowledge at the LQ Wiki.
Go Back   LinuxQuestions.org > Forums > Linux Forums > Linux - Software
User Name
Password
Linux - Software This forum is for Software issues.
Having a problem installing a new program? Want to know which application is best for the job? Post your question in this forum.

Notices


Reply
  Search this Thread
Old 01-21-2010, 09:22 PM   #1
Dmitrii
LQ Newbie
 
Registered: Jan 2010
Location: Japan
Distribution: Debian
Posts: 2

Rep: Reputation: 0
I can help with Mathematica and some equations. I need help about Mizar at Debian.


Hello all. Usually I have a lot of problems with every new software I try to install. I use the Debian linux. Today I tried to deal with Mizar.
It does not seem to work, and I suspect, the error is because of my poor knowledge in linux. The installation protocol looked as follows:
~/Q/MIZAR>sudo sh install.sh

Installation of Mizar System Version 7.11.05 (Linux/FPC) (MML 4.133.1080)

Enter the path for installing Mizar executables
[default is /usr/local/bin]

Unpacking to /usr/local/bin

Enter the path for installing Mizar shared files
[default is /usr/local/share/mizar]

Unpacking to /usr/local/share/mizar

It may take some time...

Enter the path for installing Mizar documentation
[default is /usr/local/doc/mizar]

Unpacking to /usr/local/doc/mizar

The installation process of the Mizar system is completed.

Note:
The Mizar system requires a variable MIZFILES
which should be set to /usr/local/share/mizar.

If /usr/local/bin is not in your PATH please add it before running Mizar.

With questions or comments contact mus@mizar.uwb.edu.pl
~/Q/MIZAR>
(End of protocol)

Which file should I edit to add line
MIZFILE=/usr/local/share/mizar
?

From my side, I could help about numerical evaluation of holomorphic solutions F of equation F(z+1)=H(F(z)); for several functions H, I have the efficient C++ implementations.
 
Old 01-21-2010, 10:33 PM   #2
tgp1994
Member
 
Registered: Nov 2009
Distribution: Used to use: Ubuntu. Still use: Debian, Other small distros
Posts: 78

Rep: Reputation: 17
All you have to do is type export MIZFILES=/usr/local/share/mizar. That will add the variable to your system. Then you also have to edit the path variable. Type echo $PATH, which will give you a long line of paths in your system. If you don't see /usr/local/bin in that, then type export PATH= then copy what was printed earlier, then at the end, add this:
Code:
:/usr/local/bin
Then you should be all set.
 
Old 01-22-2010, 12:48 AM   #3
Dmitrii
LQ Newbie
 
Registered: Jan 2010
Location: Japan
Distribution: Debian
Posts: 2

Original Poster
Rep: Reputation: 0
Quote:
Originally Posted by tgp1994 View Post
All you have to do is type export MIZFILES=/usr/local/share/mizar. That will add the variable to your system. Then you also have to edit the path variable. Type echo $PATH, which will give you a long line of paths in your system. If you don't see /usr/local/bin in that, then type export PATH= then copy what was printed earlier, then at the end, add this:
Code:
:/usr/local/bin
Then you should be all set.
tgp, Thank you. with
export MIZFILES=/usr/local/share/mizar
it seems to work; and no path should be modified.
Perhaps, the path
Code:
/usr/loca/bin
is already defined somewhere.

So, since now, I have the Mizar; but I see,
is not so easy to use as the Mathematica.
 
Old 01-22-2010, 02:50 PM   #4
tgp1994
Member
 
Registered: Nov 2009
Distribution: Used to use: Ubuntu. Still use: Debian, Other small distros
Posts: 78

Rep: Reputation: 17
Well, I'm glad I could help /usr/local/bin I think is supposed to be defined in the PATH variable by default, like you said, so I'm surprised their script said that. I'm even surprised that their script didn't define the first variable on its own.
 
  


Reply


Thread Tools Search this Thread
Search this Thread:

Advanced Search

Posting Rules
You may not post new threads
You may not post replies
You may not post attachments
You may not edit your posts

BB code is On
Smilies are On
[IMG] code is Off
HTML code is Off



Similar Threads
Thread Thread Starter Forum Replies Last Post
What is the best software for graphically representing equations? KDHofAvalon Linux - Software 5 01-17-2009 06:16 AM
plotting difference equations which are dependent on linear equations ta0kira Programming 6 11-22-2008 10:08 PM
How to solvle this 4th system of equations. ArthurHuang Programming 14 06-19-2006 02:00 AM
numbering equations in lyx bitt_u Linux - Software 1 07-25-2005 02:20 AM
Is there a way to install The Learning Equations on k12LSTP? scyr Linux - Newbie 1 01-02-2004 10:00 AM

LinuxQuestions.org > Forums > Linux Forums > Linux - Software

All times are GMT -5. The time now is 07:47 PM.

Main Menu
Advertisement
My LQ
Write for LQ
LinuxQuestions.org is looking for people interested in writing Editorials, Articles, Reviews, and more. If you'd like to contribute content, let us know.
Main Menu
Syndicate
RSS1  Latest Threads
RSS1  LQ News
Twitter: @linuxquestions
Open Source Consulting | Domain Registration