Giters

jubnzv / iec-checker

Static analysis of IEC 61131-3 programs

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

opam: required argument PACKAGES is missing

humazahid332 opened this issue · comments

commented

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

commented

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.

commented

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

commented

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.

commented

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.

commented

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