Comments (5)
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.
from iec-checker.
How to install the IEC checker now. I am executing the next command in the readme but it gives an error.
from iec-checker.
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.
from iec-checker.
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.
from iec-checker.
I close this, since I think that the issue is solved. Feel free to re-open it, if you have any other questions.
from iec-checker.
Related Issues (13)
- Automate release generation in CI
- PLCOpen N1: Avoid physical addresses
- False positive: PLCOpen CP1
- Set major versions of dependencies
- Rewrite test suite in OCaml
- unexpected result for 'dead-code.st' example on Windows HOT 2
- IEC61131-3 3 ed. parser for Structured Tex. Almost all IEC syntax constructions are supported excluding some user-defined types and OO features. HOT 4
- Support B&R .st HOT 4
- Twincat Support Would HOT 1
- "FUNCTION_BLOCK PRIVATE MAIN_POU" 3:11 ParseError is Thrown HOT 5
- Specify the Location of the OCaml Binary for `checker.py` HOT 2
- Support for SEL (Schweitzer Engineering Laboratories) XML Format HOT 13
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.
from iec-checker.