Skip to content
Snippets Groups Projects
Commit 76731a60 authored by Allan Blanchard's avatar Allan Blanchard
Browse files

[Distrib] Remove fields when generating opam file 

- name
- version
parent 67788382
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
bin/build-src-distrib.sh
+ 1
− 1
View file @ 76731a60
...@@ -791,7 +791,7 @@ case "${STEP}" in ...@@ -791,7 +791,7 @@ case "${STEP}" in
9) 9)
step 9 "GENERATE OPAM FILE" step 9 "GENERATE OPAM FILE"
assert_out_dir assert_out_dir
run "cp opam/opam $OUT_DIR/opam" cat opam/opam | grep -v "^version\:" | grep -v "^name\:" > $OUT_DIR/opam
echo >> "$OUT_DIR/opam" echo >> "$OUT_DIR/opam"
echo "url {" >> "$OUT_DIR/opam" echo "url {" >> "$OUT_DIR/opam"
echo " src: \"https://git.frama-c.com/pub/frama-c/-/wikis/downloads/$TARGZ_FILENAME\"" >> "$OUT_DIR/opam" echo " src: \"https://git.frama-c.com/pub/frama-c/-/wikis/downloads/$TARGZ_FILENAME\"" >> "$OUT_DIR/opam"
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment