Skip to content

Commit

Permalink
Support crazy seds...
Browse files Browse the repository at this point in the history
  • Loading branch information
dra27 committed Jul 19, 2019
1 parent 17ae088 commit a0a24fc
Show file tree
Hide file tree
Showing 2 changed files with 7 additions and 1 deletion.
2 changes: 1 addition & 1 deletion Makefile
Original file line number Diff line number Diff line change
Expand Up @@ -132,7 +132,7 @@ libinstall: $(DUNE_DEP) opam-admin.top $(OPAMLIBS:%=installlib-%)
@

processed-%.install: %.install
sed -e '/^\(doc\|lib\):/{:a;N;/]/!ba;};/^\(doc\|lib\):/d' $^ > $@
sed -f process.sed $^ > $@

install: processed-opam.install processed-opam-installer.install
$(OPAMINSTALLER) $(OPAMINSTALLER_FLAGS) processed-opam.install
Expand Down
6 changes: 6 additions & 0 deletions process.sed
Original file line number Diff line number Diff line change
@@ -0,0 +1,6 @@
/^[ld][io][bc]:/{
:a
N
/]/!ba
}
/[ld][io][bc]:/d

0 comments on commit a0a24fc

Please sign in to comment.