rems-project / rmem

rmem public repo
Other
40 stars 9 forks source link

Update dev-repo #11

Closed jeehoonkang closed 4 years ago

jeehoonkang commented 4 years ago

When I'm trying to build rmem by opam install ., it says:

opam install . 
[NOTE] Ignoring uncommitted changes in /home/jeehoon.kang/Works/rmem (`--working-dir' not active).       
[rmem.0.1] synchronised from git+file:///home/jeehoon.kang/Works/rmem#master                             
[WARNING] Failed checks in opam file from upstream of rmem:                                              
    error 42: The 'dev-repo:' field doesn't use version control. You should use URLs of the form
              "git://", "git+https://", "hg+https://"...                                                 
Sorry, no solution found: there seems to be a problem with your request.

So I updated the dev-repo field in opam.

I'm on OCaml 4.10.0.