search

jubnzv / iec-checker

Static analysis of IEC 61131-3 programs
GNU Lesser General Public License v3.0
60 stars 12 forks source link

opam: required argument PACKAGES is missing #12

Closed humazahid332 closed 2 years ago

humazahid332 commented 2 years ago

I am trying to install the IEC checker on ubuntu. As mentioned, I installed Opam first by following the instructions from [https://ocaml.org/docs/install.html] Installation is done successfully. Screenshots are attached. WhatsApp Image 2022-08-12 at 10 40 07 AM

WhatsApp Image 2022-08-12 at 10 42 37 AM

WhatsApp Image 2022-08-12 at 10 43 39 AM After successful installation when I run the command opam install --deps-only . to install the dependencies. It says the required argument PACKAGES is missing. Please help me resolve this issue. WhatsApp Image 2022-08-12 at 10 44 22 AM

jubnzv commented 2 years ago

Hi @humazahid332,

The first command opam install --deps-only . successfully finished. It says that you already have all the required packages.

Next, when you execute opam install --deps-only (without dot .), opam asks you to provide package you want to install. This command is incorrect, you don't need it.

So you can continue to build the package with dune according to the README.

humazahid332 commented 2 years ago

How to install the IEC checker now. I am executing the next command in the readme but it gives an error. WhatsApp Image 2022-08-12 at 11 32 48 AM

jubnzv commented 2 years ago

How to install the IEC checker now. I am executing the next command in the readme but it gives an error.

cd to the project directory.

jubnzv commented 2 years ago

Well, I understood. You didn't clone the repository.

OK, when you're building a project from the source code, first you need to get the sources, right? So, execute the following command:

git clone https://github.com/jubnzv/iec-checker

This command downloads the source code of iec-checker to your machine using git. Then you should cd to the downloaded directory:

cd iec-checker

And then you should just execute commands from the README file:

opam install --deps-only .
dune build @install
mkdir output
dune install --prefix ./output

Please note that these are things that every developer should know. I suggest you to read the Git book and some introduction to the unix-like systems.

Also, if building from the source code is hard, feel free to download pre-built binaries from the release page: https://github.com/jubnzv/iec-checker/releases/tag/v0.4.

jubnzv commented 2 years ago

I close this, since I think that the issue is solved. Feel free to re-open it, if you have any other questions.