Comments (9)
(note: building with the Dockerfile still appears to work for building the JS side)
If you have time to update it to the latest versions, that would be great! There's a handy guide here:
https://mirage.io/wiki/mirage2-to-mirage3
from cuekeeper.
I have changed config.ml, when I do make server
I get:
ocamlfind: Package 'tcpip.udp' not found
when I try opam install mirage-tcpip-unix
, I get:
The following dependencies couldn't be met:
- mirage-tcpip-unix -> ipaddr < 2.0.0
Your request can't be satisfied:
- ipaddr<2.0.0 is not available because your system doesn't comply with ocaml-version < "4.04.0".
(I am using 4.04.1)
What should I do ?
from cuekeeper.
Do you need to run make depend
after mirage configure
to update the dependencies?
If that isn't it, I think the tcpip
package will pull in everything.
from cuekeeper.
Do you need to run make depend after mirage configure to update the dependencies?
I did, thanks !
server:
...
(cd server && mirage configure ${MIRAGE_FLAGS} && make depend && make)
But now, I have a problem with Irmin:
Error: Unbound module Irmin
Command exited with code 2.
run ['ocamlbuild' '-use-ocamlfind' '-classic-display' '-tags'
'predicate(mirage_unix),warn(A-4-41-42-44),debug,bin_annot,strict_sequence,principal,safe_string,color(always)'
'-pkgs'
'functoria-runtime,io-page,io-page.unix,lwt,mirage-clock-unix,mirage-console-unix,mirage-logs,mirage-net-unix,mirage-random,mirage-runtime,mirage-types,mirage-types-lwt,mirage-unix,tcpip,tcpip.arpv4,tcpip.ethif,tcpip.icmpv4,tcpip.ipv4,tcpip.stack-direct,tcpip.tcp,tcpip.udp'
'-cflags' '-g' '-lflags' '-g' '-tag-line' '<static*.*>: warn(-32-34)'
'-X' '_build-ukvm' 'main.native']: exited with 10
make[1]: *** [build] Error 1
make[1]: Leaving directory `/home/th3rac25/cuekeeper/server'
make: *** [server] Error 2
I tried opam install mirage-irmin
(it failed because of versions conflict) and opam install irmin-mirage
(the install succeeded, but I still get Error: Unbound module Irmin
). Sorry, I feel like I am fumbling in the dark...
from cuekeeper.
It's odd that there are no irmin*
libraries in the list of -pkgs
there. The current config.ml
has ~libraries:["irmin.mem"; ...]
, which should pull it in, although we could be more explicit and add irmin
itself to that list.
from cuekeeper.
My mistake! I modified config.ml
and dropped the packages argument 😅
I have now another problem with Irmin (installed version 1.2.0):
File "server.ml", line 13, characters 19-156:
Error: The signature constrained by `with' has no component named branch_id
the line in server.ml is:
module Make (Store:Irmin.S with type branch_id = string and type commit_id = Irmin.Hash.SHA1.t)
indeed, there is no type branch_id nor commit_id anymore in 1.2.0
I tried looking for a project that has migrated from Irmin 0.9 to get a clue about what I should do, but did not find any...
from cuekeeper.
DataKit migrated, e.g.
moby/datakit@aae94b8#diff-7f6f1e6e406942bbbb6bf3804b40e54e
from cuekeeper.
However, this reminds me that Irmin's binary format has changed. I see two possible solutions:
-
Fix talex5/irmin-indexeddb#3 by writing some code to auto-migrate old repositories to the (stable) Git format.
-
Copy the current code for Irmin's binary format into CueKeeper and modify it to match the old format (there are only a couple of changes).
(2) would be easiest for now.
from cuekeeper.
Closing as original issue is resolved. The format issue is tracked at talex5/irmin-indexeddb#7.
from cuekeeper.
Related Issues (18)
- Error running `make` HOT 2
- "Close All" sometimes results in runaway memory consumption HOT 4
- Firefox 71 on Fedora gives ConstraintError
- Stack overflow inverting parent relation
- can't make "server" on Mac HOT 12
- chances of adding dependencies?
- tar-format.0.3 released
- issue with make server on Ubuntu 20.04 LTS HOT 3
- Stack Overflow error when trying to Sync HOT 4
- How to make use of export and backup functions HOT 2
- An error occurred while executing make client, because the function of _requestAnimationFrame is deprecated. HOT 1
- SecurityError: The operation is insecure.
- when you set a wait date on a task it doesn't show in the list of "waiting" in the review tab HOT 3
- Add title attributes to the one-letter toggle buttons HOT 1
- Allow cancelling editing with the Esc key HOT 1
- Style fields that open menus to look more like drop-downs
- Sometimes fails with AbortError on Safari
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 cuekeeper.