Skip to content
Snippets Groups Projects
Select Git revision
  • 09ad41cbbcf4928b40dcf8c716f2439c32c29963
  • develop default protected
  • master protected
  • rodin2
  • rodin3
  • feature/theory_plugin
  • feature/multiview
  • csp
  • feature/newcore
  • feature/csp
  • 3.0.11
  • 3.0.8
  • 3.0.5
  • 2.4.1
  • 2.3.3
  • 2.3.2
  • 2.3.1
  • 2.3.0_fix1
  • 2.3.0
19 results

epl-v10.html

Blame
  • Code owners
    Assign users and groups as approvers for specific file changes. Learn more.
    update_sources.sh 1.70 KiB
    #!/bin/sh
    
    set -e -u
    
    if [ "$#" -ne 1 ]
    then
    	echo "$0: expected exactly 1 argument, not $#" >&2
    	echo "usage: $0 RODINCORE_AST_PATH" >&2
    	exit 2
    fi
    
    original_path="$1"
    own_sources_path="$(dirname "$0")"
    
    if [ -z "${own_sources_path}" ]
    then
    	echo "$0: failed to determine destination path"
    	exit 1
    fi
    
    git rm -r \
    	"${own_sources_path}/build-gen.xml" \
    	"${own_sources_path}/build.properties" \
    	"${own_sources_path}/customBuildCallbacks.xml" \
    	"${own_sources_path}/epl-v10.html" \
    	"${own_sources_path}/META-INF" \
    	"${own_sources_path}/notice.html" \
    	"${own_sources_path}/plugin.properties" \
    	"${own_sources_path}/src" \
    	"${own_sources_path}/tom" \
    	"${own_sources_path}/tools"
    
    cp -R \
    	"${original_path}/build-gen.xml" \
    	"${original_path}/build.properties" \
    	"${original_path}/customBuildCallbacks.xml" \
    	"${original_path}/epl-v10.html" \
    	"${original_path}/META-INF" \
    	"${original_path}/notice.html" \
    	"${original_path}/plugin.properties" \
    	"${original_path}/src" \
    	"${original_path}/tom" \
    	"${original_path}/tools" \
    	"${own_sources_path}"
    
    # We replaced this file - keep our version instead of the original.
    git restore --staged --worktree "${own_sources_path}/src/org/eventb/internal/core/ast/ASTPlugin.java"
    
    git add \
    	"${own_sources_path}/build-gen.xml" \
    	"${own_sources_path}/build.properties" \
    	"${own_sources_path}/customBuildCallbacks.xml" \
    	"${own_sources_path}/epl-v10.html" \
    	"${own_sources_path}/META-INF" \
    	"${own_sources_path}/notice.html" \
    	"${own_sources_path}/plugin.properties" \
    	"${own_sources_path}/src" \
    	"${own_sources_path}/tom" \
    	"${own_sources_path}/tools"
    
    echo "Successfully updated with sources from ${original_path}"
    echo "Remember to update the version number in build.gradle!"